body {
  background-color: white;
  margin-left: 40px;
  margin-right: 40px;
  font-family: serif;
}

a:link {
  color: #4F4F4F;
}
 
a:active {
  color: gray;
}

a:visited {
  color: #4F4F4F;
}

a:visited:active {
  color: gray;
}

ul.menu {
  font-family: sans-serif;
  text-align: center;
  font-size: smaller;
  padding-bottom: 1em;
  border-bottom: 1px solid black;
}

ul.menu li {
  display: inline;
  margin-right: 1em;
}

div.logo {
  text-align: center;
  border-bottom: 1px solid black;
}

div.oldnews {
  font-size: smaller;
  margin-top: 3em;
}

div.current {
  margin: 1em 0 1em 0;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

div.copyright {
  padding-top: 0.5em;
  border-top: 1px solid black;
  font-style: italic;
  font-family: sans-serif;
  font-size: smaller;
}

pre {
  font-family: monospace;
}

ul.legal {
  font-weight: bold;
}

ul.legal li {
  margin-bottom: 1em;
}

ul.legal li p {
  display: inline;
  font-weight: normal;
}

ul.legal li p:before {
  content: "-";
}

table.contacts {
  margin-bottom: 1em;
}

table.contacts th {
  text-align: left;
  padding-top: 1em;
}

ul.links {
  padding-left: 0;
}

ul.links li {
  list-style-type: none;
  font-weight: bold;
  padding-bottom: 1em;
}

ul.links ul {
  padding-left: 0;
}

ul.links ul li {
  font-weight: normal;
  padding-bottom: 0;
}

table.downloads {
  text-align: center;
  border: 1px solid gray;
  empty-cells: hide;
}

table.downloads th {
  border: 1px solid gray;
  width: 150px;
}

table.downloads th:first-child {
  width: auto;
}

table.downloads td {
  border: 1px solid gray;
}