/*
arch-tag: 69bbb6c6-5aff-42c0-9763-7d65fe055840
*/
body {
/*  background-color: #e9e9e9; */
  background-color: #f9f9f9;
  color: #000000;
}
div.logo {
  color: #054287;
}
h1.logo {
  background-color: inherit;
/*  color: #0000ee; */
  text-align: right;
  font-size: 200%;
  font-weight: normal;
  font-family: Courier, monospace;
  font-style: normal;
  margin-top: .2em;
  margin-right: 2em;
  margin-bottom: 0;
  padding-bottom: 0;
}
hr.logo1 {
/*  color: #0000ff; */
/*  background-color: #0000ff; */
  background-color: #054287;
  height: .1em;
  margin-top: .1em;
  padding-top: 0;
  margin-bottom: 0;
  padding-bottom: 0;
}
hr.logo2 {
/*  color: #0000ff; */
/*  background-color: #0000ff; */
  background-color: #054287;
  height: .3em;
  margin-top: .5em;
  padding-top: 0;
}
ul.langSel  {
  list-style-type: none;
  list-style-position: outside;
  padding-left: 0px;
}
ul.navList  {
  list-style-type: none;
  list-style-position: outside;
  padding-left: 0px;
}
ul.navSubL1, ul.navSubL2, ul.navSubL3 {
  list-style-type: none;
  list-style-position: outside;
  padding-left: 1em;
}
li.langEntryCurrent { font-weight: bold; }
li.navEntryCurrentL0, li.navEntryCurrentL1, li.navEntryCurrentL2, li.navEntryCurrentL3 { font-weight: bold; }
li.navEntryL0, li.navEntryL1, li.navEntryL2, li.navEntryL3 { font-weight: normal; }
li.navEntryL0, li.navEntryCurrentL0 { font-size: 110%; }
li.navEntryL1, li.navEntryCurrentL1 { font-size: 110%; }
li.navEntryL2, li.navEntryCurrentL2 { font-size: 100%; }
/*
div.navBar {
  margin-right: 10px;
  float: left;
  clear: left;
  width: 15em;
  height: 100%;
}
*/
/*
div.content { float: left; }
*/
div.navBar {
  float: left;
  width: 15em;
  margin-bottom: 1.5em;
  padding-bottom: 0;
}
div.content {
  margin-left: 15em;
  margin-bottom: 1.5em;
  padding-bottom: 0;
}
div.footer {
  clear: both;
  padding-top: 0;
  margin-top: 0;
}
hr.footer {
  color: #000000;
  background-color: #000000;
  height: .1em;
}
span.generationTime { float: left; }
span.permalink { float: left; }
span.banners {
  float: right;
  clear: none;
}
img { border: none; }
em {
  font-weight: bold;
  text-decoration: none;
  font-style: normal;
}
h2 { font-weight: normal; }