body {
  margin-top: 25px;
  padding-top: 0px;
  margin-left:  10em;
  margin-right:  5em;
  padding: 0px;
  color: #000;
  background-color: #fff;
}

img {
  vertical-align: text-bottom;
  border-width: 0px;
}

acronym:hover, abbrev:hover {cursor: help}
abbrev, acronym, span[title], h2[title] {
  border-bottom: thin dotted;
  cursor: help;
}

*[href] {
  cursor: pointer;
}

h1, h2, h3 { color: #005A9C; margin-bottom: .2em;}
h1 {
  margin: 0px;
  padding: 0px;
  font: 200% sans-serif;
  height: 100px;
}
h2 { font: 150% sans-serif; margin-top: 0px; padding-top: 0px}
h3 { font: 120% sans-serif}
h4 { font-size: 105%; font-weight: bold; margin-bottom: .2em}
h5 {
/*  font-size: 110%; font-variant: small-caps; font-weight: bolder; */
  font-size: 105%;
  margin-bottom: 0em;
  padding-bottom: 0em;
}

.menu {
  position:absolute;
  top: 125px;
  left:1em;
  margin: 0em;
  width: 8em;
  border-right-style: double;
  border-right-color: #005A9C;
  font-family: sans-serif;
  font-weight: bold;
}

.menu ul {
  padding: 0px;
  margin: 0px;
  background-color: #332;
}

.menu ul li {
  list-style: none;
  margin: 0px;
  font-size: 90%;
  border-top: 1px solid #332;
}

.menu li a {
  display: block;
  padding: 0.25em 0.25em 0.25em 0.5em;
  height: 100%;
  border-left: 1em solid #AAB;
  background-color: #fffaea;
  text-decoration: none;
  border-bottom-style: none;
  color: #337;
}

.menu li a:visited { color: #448; }
.menu li a:hover {
  border-color: #005A9C;
  color: #FFF;
  background: #332;
}

.logo {
  position: absolute;
  left: 1em;
  top: 10px;
  margin: 0px;
  text-align: center;
  font-family: sans-serif;
  font-weight: bold;
  width: 8em;
}

.prop {
  height: 25em;
  float:right;
  width:1px;
}

.clear {
  clear:both;
  height:1px;
  overflow:hidden;
}

ul.main {
  margin-top: 2em;
  font-size: 110%;
  font-family: sans-serif;
  margin-top: 1.5em;
}

ul.content li, ul.main li {
  margin-top: 1.5em;
}

code {
  font-size: 110%;
}

.authors {
   margin-top: 0px;
   text-align: center;
   font-size: 100%;
}

.slogan {
   margin-top: -1.2em;
   text-align: right;
   background: #fff;
   color: #777;
   font-family: Times, serif;
   font-style: italic;
   font-weight: bold;
   whitespace: no-wrap;
}

p {
  text-align: justify;
  margin-top: 0px;
}

address {
  margin-top: .5em;
  margin-bottom: .5em;
}

div.screenshot {
  text-align:center;
  border:3px solid #dedede;
  padding:1em;
  padding-top: 2em;
  margin-bottom: 1em;
  margin-top: 1em;
  font-style:italic;
}

div.screenshot img {
  margin-bottom:0.6em;
  border:1px solid #000;
}

.centered {
  text-align: center;
}

.thumbnail {
  margin-left: 1em;
  margin-bottom: 1em;
  padding: 1em;
  float: right;
  border:3px solid #dedede;
}



.copyright {
  border-top: 1px solid black;
  margin-top: 2em;
  padding-top: .5em;
  text-align: center;
  font-size: 75%;
  font-style: italic;
  font-family: sans-serif;
}
.copyright a {
  text-decoration: none;
  color: #000;
}
.copyright a:hover, .hint a:active {
  text-decoration: underline;
}
.bottom {
  margin-top: .5em;	
  text-align: center;
}