body {
  background: #FFF;
}  
.page {
  font-family: sans-serif;
  background: #FFF;
  margin-left: 1em;
}
.content-float {
    float:  left;
    width:  74%;
}
.content {
    border-left: 2px dotted #D3D3D3;
    border-bottom:  2px dotted #D3D3D3;
    padding-right: 0.5em;
}
.sidebar {
    padding-left: 0.5em;
}
.sidebar-float {
    float:  right;
    width:  22%;
}
h1 {
  font-family: sans-serif;
  font-size: 1.5em;
  font-weight: bold;
  padding: 2px;
  border-bottom: 1px solid #000;
}
h2 {
  font-family: sans-serif;
  font-size: 1.2em;
  font-weight: bold;
  padding: 2px;
}
h3 {
  font-family: sans-serif;
  font-size: 1.0em;
  font-weight: bold;
  padding: 2px;
  margin-top: 0.2em;
  margin-bottom: 0.2em;
}
a {
  text-decoration: none;
  padding-left: 1px;
  padding-right: 1px;
}
a:hover {
  background: #DDD;
}
.section {
  clear: both;  
}
.navigation-header {
  font-family: sans-serif;
  font-size: 1.0em;
  font-weight: bold;
  color: white;
  text-align: center;
}
.navigation-body {
  font-family: sans-serif;
  font-size: 0.8em;
  font-weight: normal;
  margin-left: -1em;
}
.navigation-box2 {
  background: #F0F9FF;
  border-top: 1px solid #333;
  border-bottom: 1px solid #333;
}
.navigation-header2 {
  font-family: sans-serif;
  font-size: 1.0em;
  font-weight: bold;
  color: #000;
  border-bottom: 1px solid #333;
}
.navigation-body2 {
  font-family: sans-serif;
  font-size: 0.8em;
  font-weight: normal;
  margin-left: -1em;
}
.navigation-menu {
  font-weight: normal;
  margin-left: 1em;
}
.navigation-item {
  font-weight: normal;
  margin-left: 1em;
}
.selected-navigation-menu {
  font-weight: bold;
  margin-left: 1em;
}
.selected-navigation-item {
  font-weight: bold;
  margin-left: 1em;
}
.language-list {
  font-family: sans-serif;
  font-size: 0.8em;
  font-weight: normal;
  border-top: 1px solid #333;
}
.hyperlink-list-header {
  font-family: sans-serif;
  font-size: 1.0em;
  font-weight: bold;
  color: white;
  text-align: center;
}
.hyperlink-list-body {
  font-family: sans-serif;
  font-size: 0.8em;
  font-weight: normal;
  margin-left: 1em;
  margin-bottom: 0em;
  padding-left: 1em;
}
.footer {
  clear: both;
  font-family: sans-serif;
  font-size: 0.8em;
  font-weight: normal;
  padding-top: 0.5em;
  border-top: 2px solid #D3D3D3;
}
.code {
  margin: 1px 6px 1px 6px;
  padding: 1px 1px 1px 1px;
  color: inherit;
  background-color: #eeeeee;
  border: 1px dotted #003366;
  font-family: courier, courier new, monospace;
  font-size: 0.9em;
  line-height: 100%;
  white-space: pre;
  width: 98%;
  overflow: auto;
  overflow: scroll -moz-scrollbars-horizontal;
  overflow-x: auto;
}
.unordered-list .list-title {
  font-weight: bold;
  font-family: sans-serif;
}
.new-menu-box {
  float: left;
  clear: left;
  width: 20%;
  background-color: #eeeeee;
  font-family: sans-serif;
  font-size: 0.8em;
  margin-right: 1em;
}
.new-menu {
  margin-left: 1em;
  font-weight: normal;
}
.menu-title {
  font-weight: bold;
}
.selected-menu-title {
  font-weight: bold;
}
.translations-menu {
  margin-top: 1em;
  margin-left: 1em;
  font-weight: normal;
}

.image-list {
  margin: 0;
}
.image {
  padding: 0.2em;
  text-align: center;
}
.image-list-float {
  clear: right;
  float: right;
  margin: 0;
}
.image-float {
  float: left;
  padding: 0.2em;
  text-align: center;
}
.image1-float {
  clear: left;
  float: left;
  padding: 0.2em;
  text-align: center;
}
.caption {
  font-family: sans-serif;
  font-size: 0.8em;
}
.news {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-right: 0.3em;
  padding-left: 0.3em;
  padding-right: 0.2em;
  border-left: 2px solid #D3D3D3;
  /* border-right: 2px solid gray; */
  background: #F9F9FF;
}
.news-header {
  font-family: Helvetica, Arial;
  font-size: 1.3em;
  font-weight: bold;
}
.news-date {
  font-family: Helvetica, Arial;
  font-size: 0.6em;
  font-weight: normal;
  color: gray;  
}
.quote {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  padding-left: 0.3em;
  padding-right: 0.2em;
  border-left: 2px solid gray;
  background: #EEE;
}
.popout {
  font-weight: bold;
  color: #FF3333;  
}