body {
  background-color: #fffff8;
  color: black;
//  border: 5px solid black;
  z-index: 0;
}

a:link { color: #00008b; }
a:visited { color: #8b0000; }
a:active { color: #f8f8ff; }
a:hover { color: #000000; }

.hidden {
  display: none;
}

.abstract {
  margin-left: 1em;
  font-style: italic;
  background-color: beige;
}

div.table {
  display: table;
  width: 100%;
  border-spacing: 5px;
//  border: thick solid cyan;
}

div.news, div.docs {
  display: table-cell;
  width: 50%;
  background-color: beige;
//  border: thick solid red;
}

div.title {
  color: brown;
  background-color: beige;
  text-align: center;
  font-family: "new century schoolbook", serif;
  border: thick solid wheat;
  padding: 5px 0px;
}

div.subtitle {
  color: brown;
  text-align: center;
  font-family: "new century schoolbook", serif;
}

div.main {
  margin-left: 15%;
  font-family: "helvetica", sans-serif;
  background-color: wheat;
//  border: thick solid wheat;
}

div.menu {
  font-family: "helvetica", sans-serif;
  font-size: smaller;
//  border: thick solid purple;
  position: fixed;
  top: 8px;
  left: 0;
  width: 15%;
  border: thick solid wheat;
  background-color: beige;
}

div.hmenu {
  background-color: wheat;
}

div.vmenu {
  margin-left: 0.5em;
}

div.menu-parent {
  background-color: beige;
  padding: 0.5em 0;
}

div.menu-item {
  padding: 0.5em 0;
}

div.menu-child {
  padding: 0.5em 0;
}

div.address {
  text-align: right;
  color: brown;
  font-size: small;
  border: thick solid wheat;
  background-color: beige;
}

div.body {
  color: brown;
  background-color: beige;
  margin-top: 1em;
  margin-bottom: 1em;
  padding-left: 1em;
  padding-right: 1em;
  border: thick solid wheat;
}

div.item {
  border-top: thick solid wheat;
  border-bottom: thick solid wheat;
  font-size: smaller;
}

div.note {
  position: fixed;
  top: 0;
  left: 0;
  z-index: -100;
}

div.languages {
  display: table-cell;
  width: 50%;
  font-size: x-small;
  text-align: left;
//  border: thick solid purple;
}

div.localtime {
  display: table-cell;
  width: 50%;
  font-size: x-small;
  text-align: right;
//  border: thick solid red;
}