body, html {
  background: rgb(231, 231, 231);
  color: rgb(50, 50, 50);
  font-family: verdana, arial, sans-serif;
  font-size: 10pt;
  margin: 0px;
  padding: 0px;
}

#container {
  background-image: url(web_background.jpg);
  position: absolute;
  width: 759px;
  left: 25%;
  margin-top: 20px;
}

#languageselection {
  position: absolute;
  left: 26%;
  top: 3px;
}

.selected {
  font-weight: bold;  
  color: rgb(175, 57, 0);
}

#languageselection img {
  vertical-align: middle;
}

a:link, a:visited {
  color: rgb(50, 50, 50);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

#header {
  background-image: url(web_header.jpg);
  background-repeat: no-repeat;
  width: 100%;
  height: 139px;
}

#navigation {
  margin-left: 40px;
  margin-top: 10px;
}

#navigation a:link, #navigation a:visited {
  color: rgb(50, 50, 50);
}

#navigation a.selected:link, #navigation a.selected:visited {
  font-weight: bold;  
  color: rgb(175, 57, 0);
}

#navigation img {
  vertical-align: middle;
  margin-left: 10px;
  margin-right: 10px;
}

#navigation .hr {
  margin-left: -20px;
  margin-top: -10px;
}

#main {
  float: left;
  margin-top: 15px;
  width: 100%;
  height: 100%;
}

#body {
  background: white;
  width: 90%;
  margin-left: 40px;
}

#body h1 {
  font-size: 12pt;
  font-weight: bold;
}

#body h2 {
  font-size: 12pt;
  font-weight: bold;
}
#body p {
  padding-bottom: 8px;
}

#body a:link, #body a:visited {
  text-decoration: underline;
}

#body h1 a:link, #body h1 a:visited {
  text-decoration: none;
}

#detail {
  float: right;
  background: rgb(249, 249, 249);
  margin-right: 20px;
  margin-top: 10px;
  width: 35%;
  height: 100%;
  padding: 10px 10px 10px 10px;
}

pre {
  width: 100%;
  overflow: auto;
  border: 1px solid black;
  padding: 5px;
  background: lightgrey;
}

#detail img {
  vertical-align: middle;
  padding-right: 10px;
}

#detail a:link {
  font-weight: bold;  
  color: rgb(175, 57, 0);
}

#detail h2 {
  font-size: 12pt;
  color: rgb(175, 57, 0);
}

#detail dt {
  color: rgb(175, 57, 0);
  font-weight: bold;
}

#detail dd {
  font-style: italic;
  margin-left: 0px;
  margin-bottom: 20px;
}

#footer {
  background-image: url(web_footer.jpg);
  background-repeat: no-repeat;
  width: 100%;
  height: 145px;
  clear: both;
}

.blogdate {
  font-size: 7pt;
  color: rgb(122, 122, 122);
}

#archivelink {
  text-align: right;
}

#archivelinks {
  padding-top: 10px;
}

#older {
  float: right;
}

#newer {
  float: left;
}