body {
  color: black;
  background: white;
  font-family: sans-serif;
}

table {
  border-collapse: collapse;
  border: solid black 1px;
}

td {
  border: solid black 1px;
  padding: 0.2em;
}

div.topmenu {
  float: right;
  border: solid black 1px;
  padding: 0.3em;
  text-align: center;
}

div.update {
  float: right;
}

a.menu {
  text-decoration: none;
  font-weight: bolder;
  color: rgb(64,192,128);
}

a.sep {
  padding-right: 0.3em;
  border-right: solid black 1px;
}

a.small {
  font-size: smaller;
  font-weight: normal;
}