html {
  background-color: #ffffff;
  color: #000000;
  font-family: Verdana,sans-serif;
  font-size: 0.9em;
  line-height: 1.5em;
}

body {
  margin-left: 1em;
  margin-right: 3em;
  margin-top: 0em;
  padding: 0;
}

div#header {
  margin-top: 2em;
}

div#nav {
  margin-top: 5em;
  width: 13em;
  float: left;
}

div#contentwrapper {
  float: right;
  margin-left: -15em;
  width: 100%;
}

div#content {
  margin-left: 15em;
}

img {
  border: 0;
}

img#enea {
  float: right;
}

ul.menu {
  list-style-type: none;
  padding-left: 0;
}

ul.menu > li {
  margin-top: 0.5em;
}

ul.newslist {
  list-style-type: none;
  padding: .35em;
}

.news_date {
/*  color: #888; */
  font-style: italic;
}

h1 {
  color: #405371;
  font-weight: bold;
  font-size: 2.7em;
  line-height: 1em;
  padding: 0;
  margin: 0;
}

h2 {
  font-family: "Trebuchet MS",arial,sans-serif;
  font-size: 1.6em;
  font-weight: bold;
  margin: 1.5em 0 0 0;
  padding: 0.2em 0.2em 0.2em 0.2em;
  background-color: #405371;
  color: #ffffff;
  border: 1px solid #78a;
}

h3 {
  font-family: "Trebuchet MS",arial,sans-serif;
  font-size: 1.2em;
  font-weight: bold;
  margin: 1.5em 0 0 0;
  padding: 0.1em 0.1em 0.1em 0.1em;
  background-color: #a8001d;
  color: #ffffff;
  border: 1px solid #c01;
}

h4 {
  font-family: "Trebuchet MS",arial,sans-serif;
  font-size: 1.2em;
  font-weight: bold;
  margin: 1.5em 0 0 0;
  padding: 0.1em 0.1em 0.1em 0.5em;
  background-color: #fff;
  color: #000;
  border: solid #405371;
  border-width: 0 0 1px 0;
}

.nav {
  padding: 0em 1em 0em 0em;
}

ul {
  list-style-type: square;
}

ul.contents li {
  list-style-type: none;
}

p {
  margin: 0 0 0 0;
  padding: .35em;
}

pre {
  font-family: courier, monospace;
  border: 1px dashed #999;
  background-color: #f0f0f0;
  padding: .35em;
  margin: 1em 1.75em 1em 1.75em;
}

code {
  font-family: courier, monospace;
}

dl {
  margin-left: 1.75em;
}

dt {
  font-family: courier, monospace;
  list-style-type: square;
}

dd {
  list-style-type: square;
    margin-bottom: 1em;
}

dl.download {
  margin-left: .35em;
}

dl.download dt {
  margin-left: 0;
  font-weight: bold;
}

a:link {
  color: #a8001d;
}

a:visited {
  color: #a8001d;
}

a:hover {
  color: #405371;
}

ul.menu li {
}

li#current_page {
  font-weight: bold;
  color: black;
}