body {
  margin: 0px;
  padding: 0px;
  background-color: white;
  font-family: sans-serif;
  font-size: 13px;
}

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

li {
  background-image: url(images/bullet.gif);
  background-repeat: no-repeat;
  background-position: 0 3px;
  padding-left: 18px;
  margin-top: 5px;
  padding-bottom: 5px;
}

a img {
  border: 0;
}

a {
  color: #3030ee;
  text-decoration: none;
}

a:visited {
  color: #101090;
}

a:active, a:hover {
  color: #3030ee;
  border-bottom: 1px dotted #3030ee;
}

a.nomarkup:hover, a.nomarkup:active {
  border-bottom: none;
}

#header {
  background-color: #aabbff;
  width: 100%;
  text-align: right;
  border-bottom: 1px solid #808080;
}

#logo {
  position: absolute;
  left: 10px;
  top: 10px;
  border: 1px solid #000000;
}

#title {
  position: absolute;
  top: 5px;
  right: 10px;
}

#headerNavigation {
  text-align: left;
  vertical-align: middle;
}

.headerNavigationSeparator {
  padding-left: 1px;
  padding-right: 1px;
  color: #808080;
  display: inline;
}

#headerNavigation a, #headerNavigation a:visited {
  color: #000000;
  background-color: transparent;
}

#headerNavigation a:active, #headerNavigation a:hover {
  border-bottom: 1px dotted #808080;
}



#sidebar {
  float: right;
  width: 180px;
  padding-top: 30px;
  padding-right: 10px;
  padding-bottom: 0;
  color: #000000;
  background-color: #ffffff;
}

#sidebar p, #sidebar table {
  padding-left: 10px;
  padding-right: 10px;
  border-left: 1px dashed #aabbff;
  margin-top: -5px;
}

#sidebar table {
  padding-left: 7px;
}

#sidebar p.section {
  text-align: center;
  font-weight: bold;
  padding-top: 3px;
  padding-bottom: 3px;
  background-color: #aabbff;
  border: 1px solid #6060ff;
}

#sidebar ul {
  margin: 0 0 15px 0;
  padding: 0 10px 0 10px;
  list-style-image: none;
  list-style-type: none;
  border-left: 1px dashed #aabbff;
}

#sidebar ul li {
  background: none;
  padding: 0;
}

#searchText {
  font-size: x-small; 
  text-align: justify;
}

#searchField {
  width: 165px; 
  margin-top:3px; 
  border:1px solid #8080bb; 
}

#mainText {
  margin: 40px 210px 0 10px;
  text-align: justify;
  padding: 0;
}

#mainText h3 {
  padding: 3px;
  background-color: #aabbff;
  border: 1px solid #6060ff;
}

#mainText h4 {
  margin-top: 0;
  border-bottom: 1px solid #6060ff;
}

.pub_title {
  font-weight: bold;
  display: inline;
}

.pub_author {
  display: inline;
}

.pub_extra {
  color: #808080;
  display: inline;
  text-size: 80%;
}

.pub_extra a {
  color: #404040;
}

.pub_extra a:hover {
  border-bottom: 1px dotted #404040;
}

a.pub_link {
}