html {
  margin: 0;
  padding: 0;
}

body {
  background: url(/static/img/header.png) repeat-x;
  margin: 0;
  padding: 0;
  text-indent: 0;
  color: #404040;
  font: 85% Verdana,Tahoma,Arial,sans-serif;
  line-height:1.2em;
}

p.note {
  font-style: italic;
}

a {
  color:#249;
  text-decoration:none;
}

a:hover {
  text-decoration:underline;
}

ul, ol {
}

ul li {
  list-style-type: circle; /*none;*/
}

img {
  border: none;
}

pre {
  width: 100%;
  overflow: auto;
}

div#container {
  margin: auto;
  margin-top: 10px;
  padding: 0;
  width: 70%;
  min-width: 800px;
}

div#header {
  margin: 0;
  height: 70px;
  color: white;
}

div#header h1 {
  padding: 15px;
  margin: 40px;
  margin-left: 150px;
  color: #eee;
  font-size: 20pt;
  font-weight: lighter;
}

div#menu {
  width: 200px;
  float: left;
  margin: 5px;
}

div#menu li {
  list-style-type: none;
}

ul.menu {
  padding: 0;
}

li.menu {
  margin-bottom: 15px;
  padding: 5px;
  list-style-type: none;
  background-color: #f7f7f7;
  border: 1px solid #ccc;
}

li.menu h1 {
  margin: 0;
  margin-top: 2px;
  border-bottom: 1px solid #777;
  padding: 3px;
  font-size: 12pt;
}

li.menu ul {
  margin: 0;
  margin-left: 10px;
  padding: 7px;
}

li.menu li a {
  color: #444;
}

div #content {
  min-height: 300px;
  margin-left: 200px;
  padding-left: 20px ;
  padding-right: 15px;
}

div #content h2, h3 {
  color: #44a;
}

div#content h1 {
  font-weight: lighter;
  margin-top: 20px;
  margin-bottom: 40px;
  text-align: center;
}

div#content h2 {
  font-weight: lighter;
  margin-top: 40px;
  padding-bottom: 4px;
  border-bottom: 1px solid;
}

div#content p {
  text-indent: 0;
  text-align: justify;
}

div#content table {
  border-collapse: collapse;
}

div#content th {
  padding-left: 8px;
  text-align: left;
}

div#content td {
  padding-left: 8px;
  text-align: left;
}

div#footer {
  font-size: 9pt;
  padding: 0;
  border-top: 1px dotted #888;
  text-align: center;
  clear: both;
}