/* Keep it plain: a little layout help, otherwise let the browser look like itself. */
body {
  margin: 8px;
  background: white;
  color: black;
  font-family: "Times New Roman", Times, serif;
}
header {
  text-align: right;
  white-space: nowrap;
}

nav {
  margin: 1em 0;
  white-space: nowrap;
}

nav a {
  margin-left: 1em;
  white-space: nowrap;
}

.site-top { display: flex; justify-content: space-between; align-items: baseline; gap: 1em; text-align: left; white-space: normal; }
.site-top .p1, .site-top nav { margin: 1em 0; }
@media (max-width: 520px) { .site-top { flex-wrap: wrap; } }