body {
  background-color: beige;
  color: #000000;
//  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: #b0c4de;
}

div.subtitle {
  background-color: #778899;
  color: #f8f8ff;
  padding: 5px 0px;
  text-align: center;
  font-family: "new century schoolbook", serif;
//  border: thick solid yellow;
}

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

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

div.title {
  background-color: #191970;
  color: #ffd700;
  text-align: center;
  font-family: "new century schoolbook", serif;
  border-bottom: thick solid gold;
  padding: 5px 0px;
}

div.main {
  margin-top: 14pt;
  width: 85%;
//  border-left: 0.5em solid #778899;
  font-family: "helvetica", sans-serif;
  background-color: #f8f8ff;
}

div.menu {
  font-family: "helvetica", sans-serif;
  font-size: smaller;
  position: fixed;
  top: 8px;
  right: 0%;
  width: 15%;
//  border: thick solid wheat;
  text-align: center;
}

div.hmenu {
  background-color: #d3d3d3;
//  border: thick solid #998877;
}

div.vmenu {
  background-color: #b0c4de;
//  border: thick solid #3d3d3d;
}

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

div.menu-item {
  background-color: #778899;
  padding: 0.5em 0em;
}

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

div.address {
  text-align: right;
  color: #dcdcdc;
  font-size: small;
  padding: 5px 0px;
  background-color: #191970;
}

div.body {
  padding: 1em;
//  border: thick solid purple;
}

div.item {
//  border: thick solid blue;
  background-color: #d3d3d3;
}

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;
}