body {
   background-color: #999;
   font-family: sans-serif;
   color: #000000;
   font-size: 0.9em;
   line-height: 1.5em;
   margin: 0;
   padding: 0;
}
#content {
   margin: 0 auto 0 auto;
   width: 780px;
   padding: 10px 10px 10px 10px;
   background-color: #fff;
   border-left: 50px solid #aaa;
   border-right: 50px solid #aaa;
}
h1 {
   font-family: sans-serif;
   font-weight: bold;
   color: #990000;
   margin-top: 0;
   padding-top: 10px;
   font-size: 2em;
}
h2 {
   font-family: sans-serif;
   font-weight: bold;
   font-size: 1.5em;
   margin-top: 2em;
   color: #990000;
}
h3,h4,h5,h6 { 
   font-family: sans-serif;
   font-weight: bold;
   color: gray;
   margin-left: 20px;
}
p, dl {
   margin-left: 30px;
}
small {
   font-size: 9px;
   font-family: sans-serif;
   color: gray;
}
hr { 
   margin-right: 70%;
   color: gray;
   background-color: gray;
}
a {
   color: #550000;
}
a:visited {
   color: #550000;
}
a:hover {
   color: #fff;
   background-color: #550000;
}

#intro img {
   margin: 0 10px 30px 0px;
   float: left;
}
#after-intro {
   clear: left;
}

/* Annotated config file styles */
table.configcomment {
   border: 1px solid #000000;
   background-color: #DDDDDD;
}
table.configcomment td.cf {
   font-family: monospace;
   font-size: 10px;
   white-space: pre;
}
table.configcomment td.cm {
   font-size: 10px;
   padding-bottom: 15px;
   border: 1px solid #000000;
   background-color: #FFFFFF;
}

img.left {
   margin-right: 15px;
   float: left;
   border: 1px solid #000000;
}
img.right {
   margin-left: 15px;
   float: right;
   border: 1px solid #000000;
}
/* borderless w3c logos */
img.banner {
   float: left;
   border: 0px none;
   padding-right: 3px;
}

/* Technical diary styles */
table.diarytable {
   border: 1px solid #000000;
   border-spacing: 0px;
   background-color: #FFFFFF;
   font-size: 16px;
}
table.diarytable td.date {
   padding: 5px;
   width: 150px;
   color: #000000;
   background-color: #DDDDDD;
   border-right: 1px solid #000000;
}
table.diarytable td.subject {
   padding: 5px;
   color: #000000;
   background-color: #EEEEEE;
}
table.diarytable td.content {
   padding: 10px;
   border-top: 1px solid #000000;
   border-bottom: 1px solid #000000;
}

div.right_images {
   float: right;
}

pre {
   background: #dddddd;
   border: 1px dashed #888888;
   padding: 1em;
}

.justify {
   text-align: justify;
}

ul li {
}