body {
  min-width:   960px;
  background:  white;
  color:       black;
  font-family: sans-serif;
  font-size:   10pt;
}

tt {
  font-family: courier;
  font-size:   10pt;
}

div.header {
  padding: 4px;
  border: 1px solid #005487;
  margin-left: 0px;
  margin-right: 168px;
  height: 23px;
  background: #f4f4f4;
  color: #005487;
  font-size: 14pt;
  font-weight: bold;
  text-align: center;
}

div.plusone {
  float: right;
  padding: 0px;
  margin-right: 4px;
  margin-top:   6px;
}

div.adstitle {
  float: right;
  width: 158px;
  height: 24px;
  padding-top: 7px;
  border: 1px solid #005487;
  background: #f4f4f4;
  color: #005487;
  font-size: 10pt;
  font-weight: bold;
  text-align: center;
}

div.navbar {
  float: left;
  margin: 0;
  margin-top: 8px;
  margin-bottom: 8px;
  padding: 0;
  width: 160px;
  font-weight: bold;
}

table.linear {
  margin: 0;
  margin-bottom: 1px;
  padding: 0;
  width: 100%;
  color: #005487;
  text-align: center;
  vertical-align: middle;
}

table.linear a {
  color: #005487;
  text-decoration: none;
  vertical-align: middle;
}

table.linear a:hover {
  color: red;
}

table.linear #sep {
  width: 1px;
}

table.linear #prev, table.linear #next {
  margin: 0;
  border: 1px solid #005487;
  background: #f4f4f4;
  vertical-align: middle;
  line-height: 16px;
}

table.linear #prev:hover, table.linear #next:hover {
  color: red;
  border: 1px solid red;
}

div.navbar ul {
  margin: 0;
  padding: 0;
  list-style-type: none;
  white-space: nowrap;
}

div.navbar ul li {
  padding-left: 15px;
  line-height: 22px;
}

div.navbar ul li:hover {
  color: red;
  border: 1px solid red;
  background: #f4f4f4 url(myicons/hover.png) bottom left no-repeat;
}

li.passive1 {
  margin-left: 0;
  margin-bottom: 1px;
  color: #bc004a;
  border: 1px solid #bc004a;
  background: #f4f4f4 url(myicons/current1.png) bottom left no-repeat;
}

li.passive1 a {
  color: #bc004a;
  text-decoration: none;
}

li.passive1 a:hover {
  color: red;
}

li.active1 {
  margin-left: 0;
  margin-bottom: 1px;
  color: #005487;
  border: 1px solid #005487;
  background: #f4f4f4 url(myicons/normal1.png) bottom left no-repeat;
}

li.active1 a {
  color: #005487;
  text-decoration: none;
}

li.active1 a:hover {
  color: red;
}

li.passive2 {
  margin-left: 16px;
  margin-bottom: 1px;
  color: #d00070;
  border: 1px solid #d00070;
  background: #f4f4f4 url(myicons/current2.png) bottom left no-repeat;
}

li.passive2 a {
  color: #d00070;
  text-decoration: none;
}

li.passive2 a:hover {
  color: red;
}

li.active2 {
  margin-left: 16px;
  margin-bottom: 1px;
  color: #0070a0;
  border: 1px solid #0070a0;
  background: #f4f4f4 url(myicons/normal2.png) bottom left no-repeat;
}

li.active2 a {
  color: #0070a0;
  text-decoration: none;
}

li.active2 a:hover {
  color: red;
}

li.passive3 {
  margin-left: 32px;
  margin-bottom: 1px;
  color: #df0093;
  border: 1px solid #df0093;
  background: #f4f4f4 url(myicons/current3.png) bottom left no-repeat;
}

li.passive3 a {
  color: #df0093;
  text-decoration: none;
}

li.passive3 a:hover {
  color: red;
}

li.active3 {
  margin-left: 32px;
  margin-bottom: 1px;
  color: #0093bb;
  border: 1px solid #0093bb;
  background: #f4f4f4 url(myicons/normal3.png) bottom left no-repeat;
}

li.active3 a {
  color: #0093bb;
  text-decoration: none;
}

li.active3 a:hover {
  color: red;
}

div.googleads {
  float: right;
  width: 160px;
  padding: 0px;
  margin-top: 8px;
  margin-bottom: 0px;
}

div.contents {
  margin-left: 168px;
  margin-right: 168px;
  margin-top: 8px;
  padding-left: 8px;
  padding-right: 8px;
  min-height: 598px;
  border: 1px solid #005487;
}

div.contents h3.title {
  margin-top: 8px;
}

div.contents ul {
  padding-left: 20px;
}

div.contents a {
  color: #005487;
}

div.contents #borgelt {
  margin-top: 8px;
  margin-right: 32px;
}

div.contents ul.publist {
  margin-top: 0;
}

div.contents td, div.contents th {
  margin:         0px;
  padding:        0px;
  padding-right:  8px;
}

div.contents td.size {
  text-align:     right;
  margin:         0px;
  padding:        0px;
  padding-right: 16px;
}

div.contents img.thesis {
  border: 1px solid #0070a0;
}

div.contents b.attention {
  color: red;
}

div.footer {
  margin-top: 4px;
  margin-right: 168px;
  font-size: 8pt;
  text-align: right;
}

div.footer a {
  color: #005487;
}