/* Style doc for EdgePal
   see http://projectseven.com/tutorials/css_munus/list_01 */
a {
  color:#ffff00;
  background: #1c0cf8;
}
body {
  margin:10px;
  padding:0;
  color:#ffff00;
  background: #1c0cf8;
  font-family: serif;
}
.space {
  padding-left: 20px;
  padding-right: 20px;
  padding-top: 5px;
  padding-bottom: 5px;
}
table.float {
  color:#ffff00;
  background: #1c0cf8;
  float: left;
  margin: 10px 10px 5px 10px;
}
td {
  margin: 15px 5px 15px 5px;
  vertical-align: top;
}
td.right {
  padding-left: 20px;
  padding-right: 20px;
  padding-top: 5px;
  padding-bottom: 5px;
  vertical-align: top;
  text-align: right;
}
.facts {
  margin-right: 10px;
  margin-left:  10px;
  padding-right: 5px;
  padding-left:  5px;
  padding-bottom:1px;
  color:#000000;
  background: #c8c8c8;
  text-align: justify;
}

div.normal {
  padding-left:15px;
  padding-right:15px;
  font-family: sans-serif;
  text-align: justify;
}

h1 {
  font-family: serif;
  text-align:center;
}
h2, h4 {
  text-align:center;
}
.tight {
  margin-top: 0;
  margin-bottom: 1px;
}
p {
  font-size: 100%;
}
p.bold {
  font-weight: bold;
}
span.prodname {
  font-weight: bold;
}
#leftofnavlist {
top: auto;
left: 20px;
margin-right: 260px;
}
#navlist {
top: 10px;
left: 10px;
right: 10px;
padding : 3px 3px 3px 3px;
color:#ffff00;
background-color: #010000;
font-family: sans-serif;
font-weight: bold;
}
#navlist ul {
margin: 0;
padding: 0;
}
#navlist li {
margin: 3px 0 3px 0;
}
#navlist a {
display: block;
margin: 2px 0px 2px 0px;
padding: 2px 20px 2px 10px;
border: 1px solid #000000;
width: auto;
text-decoration: none;
}
#navlist a:link, #navlink a:visited {
text-decoration: none;
/* */
}
#navlist a:hover {
background-color: #f0f0f0;
color: #000000;
text-decoration: none;
}
#footer {
margin: 0 10px 3px 10px;
padding : 1px 10px 1px 10px;
}
.valid {
vertical-align: top;
border: 0pt none ; 
width: 88px; 
height: 31px;
}
.box {/*this is a box where the copyright will be placed*/
background: #FFFFFF;
color : #000099;
font-family : sans-serif;
font-size: 12px;
width: 12em;
margin: 0 10px 3px 10px;
padding : 1px 10px 1px 10px;
vertical-align: top;
border-color : #48D1CC;
border-style : groove;
border-width : 2px;
}