body {
  font-family: verdana, sans-serif;
  font-size: large;
}

h1, address, address a {
  color: #b56;
}

address {
  font-weight: bold;
}

h1, address, #topmatter p, #topmatter h2 {
  text-align: center;
}

h1 img {
  border: none;
}

table {
  margin-top: 1em;
  margin-left: auto;
  margin-right: auto;
}

#menu_updating {
  border: groove;
  background-color: #eee;
  opacity: 0.5;
  padding: 0.5ex;
  font-size: smaller;
  margin-left: 1em;
  max-width: 30em;
  margin-right: 2em;
}