html {
  height: 100%;
}

body {
  background: #FBFBFB;
  font-family: verdana,arial,sans-serif;
  font-size: small;
  line-height: 1.5;
  height: 100%;
  margin: 0px;
  padding: 0px;
}

p {
  margin: 5px 0px;
}

p.h1 {
  color: #337FC6;
  font-size: small;
  font-weight: bold;
  margin: 0px;
  padding: 0px;
}

p.h2 {
  color: #337FC6;
  font-size: small;
  font-style: italic;
  font-weight: normal;
  margin: 0px;
  margin-left: 15px;
  padding: 0px;
}

p.h3 {
  color: #337FC6;
  font-size: x-small;
  font-weight: normal;
  margin: 0px;
  margin-left: 15px;
  padding: 0px;
}

p.h4 {
  color: #337FC6;
  font-size: xx-small;
  font-style: italic;
  font-weight: normal;
  margin: 0px;
  margin-left: 15px;
  padding: 0px;
}

p.small {
  font-size: 80%;
  margin-left: 20px;
}

p.modified {
  font-size: 80%;
}

a {
  color: #337FC6;
  text-decoration: none;
}

a.anchor {
  color: #000;
}

dt {
  font-style: italic;
}

dd {
  margin-bottom: 10px;
}

tt {
  color: #808080;
  font-size: 120%;
}

ol.inline {
  list-style: decimal inside;
}

ul.inline {
  list-style: inside;
}

ul.blind {
  list-style-type: none;
}

hr {
  border: 0 none;
  border-top: #CCC 1px solid;
  height: 1px;
  margin: 0px;
  margin-top: 15px;
  padding: 0px;
}

h1 {
  font-size: 140%;
  font-weight: bold;
  margin: 0px;
  padding: 0px;
}

h2 {
  font-size: 120%;
  font-weight: bold;
  margin: 0px;
  padding: 10px 0px;
}

h3 {
  font-size: small;
  font-weight: bold;
}

pre {
  color: #808080;
  margin: 5px 0px;
  padding: 10px 0px;
}

img.figure,
img.screenshot {
  float: right;
  margin: 0px;
  margin-left: 20px;
  padding: 0px;
}

img.screenshot {
  border: #CCC 1px solid;
}

img.award {
  border: 0;
  float: left;
  margin: 10px 20px 10px 0;
  padding: 0px;
}

#topbox {
  height: 140px;
  position: relative;
}

#headerlt {
  background: #9BD url(hl.png) left bottom no-repeat;
  height: 90px;
  left: 5px;
  position: absolute;
  top: 10px;
  width: 25px;
}

#headerrt {
  background: #9BD url(hr.png) right bottom no-repeat;
  height: 90px;
  position: absolute;
  right: 5px;
  top: 10px;
  width: 22px;
}

#header {
  background: #9BD url(hm.png) left bottom repeat-x;
  height: 90px;
  margin-left: 30px;
  margin-right: 27px;
  position: relative;
  top: 10px;
}

#menult {
  background: #9BD url(ml.png) left top no-repeat;
  height: 40px;
  left: 5px;
  position: absolute;
  top: 100px;
  width: 25px;
}

#menurt {
  background: #9BD url(mr.png) right top no-repeat;
  height: 40px;
  position: absolute;
  right: 5px;
  top: 100px;
  width: 22px;
}

#menu {
  background: #9BD url(mm.png) left top repeat-x;
  height: 40px;
  margin-left: 30px;
  margin-right: 27px;
  padding: 0px 4px;
  position: relative;
  top: 10px;
}

#google_translate_element {
  position: absolute;
  right: 5px;
  top: 25px;
}

a.title {
  color: #FBFBFB;
  display: block;
  font-size: large;
  font-weight: bold;
  padding-left: 10px;
  padding-top: 20px;
}

a.description {
  color: #E1E8EF;
  display: block;
  font-size: small;
  font-weight: bold;
  padding-left: 10px;
  padding-top: 5px;
}

a.menu {
  color: #E1E8EF;
  float: left;
  font-size: small;
  font-weight: bold;
  padding: 5px;
  text-decoration: none;
}

a.menu:hover {
  color: #FBFBFB;
}

img.menu {
  color: #E1E8EF;
  float: right;
  font-size: small;
  font-weight: bold;
  padding-top: 9px;
}

#content {
  margin: 0px;
  padding: 15px 40px;
  text-align: justify;
}

#news {
  border: #E1E8EF 1px solid;
  float: right;
  margin: 0px;
  margin-bottom: 10px;
  margin-left: 15px;
  padding: 5px 15px;
}

#index {
  border: #E1E8EF 1px solid;
  float: left;
  margin: 0px;
  margin-bottom: 10px;
  margin-right: 15px;
  padding: 5px 15px;
}

#adsense {
  border: #CCC 1px solid;
  height: 600px;
  margin: 15px;
  margin-left: 0px;
  padding: 0px;
  text-align: center;
  width: 160px;
}

#copyright {
  border: #CCC 1px solid;
  color: #CCC;
  height: 21px;
  margin: 0px 15px 0px 40px;
  padding: 2px 7px;
}

#copyright a {
  color: #CCC;
  text-decoration: none;
}

#copyright a:hover {
  color: #808080;
}
