body {
background-color: #000;
color: #eee;
margin: 0 0 0 5px;
padding: 0;
}
body#aa {
background-color: #000;
color: #eee;
margin: 0 0 0 5px;
padding: 0;
font-size: 85%;
}
a:link,
a:active,
a:visited {
color: #ccc;
text-decoration: underline;
}
a:hover {
text-decoration: none;
color: tomato;
}
div#body {
width: 750px;
}
#header {
padding: 10px;
border: 1px solid #666;
margin: 30px 0 10px 0;
font-size: 200%;
font-weight: bolder;
}
div#main {
padding: 10px 0 10px 10px;
margin: auto auto auto 20px;
}
div#footer {
}
dl.log {
margin-left: 5px;
}
dl.log dt {
margin: 5px;
}
dl.log dd {
margin: 5px;
}
h2.subtitle,
h3.subtitle,
h4.subtitle,
h5.subtitle {
font-weight: bolder;
font-size: 150%;
margin: 5px 0;
border: 1px solid #666;
padding: 5px;
}
pre.tmpl {
margin-left: 30px;
padding: 10px;
}
table {
margin: 5px 0 5px 30px;
border: 1px solid #666;
border-collapse: collapse;
border-spacing: 0;
empty-cells: show;
}
table th {
padding: 5px;
border: 1px solid #666;
background-color: #eee;
color: #000;
}
table td {
padding: 5px;
border: 1px solid #666;
}