body { margin: 0px;}

//A { font-family: arial, sans-serif; text-decoration: none;  }

a.nonexistent {
    background-color: #F8F8F8;
    color: #FF2222;
}
a.nonexistent:visited {
    background-color: #F8F8F8;
    color: #FF2222;
}

a:link       { color: #FFFFFF; text-decoration: none }
a:visited    { color: #FFFFFF; text-decoration: none }
a:active     { color: #FFCC99; text-decoration: none }
a:hover      { color: #FB3F00; text-decoration: none }


.topictitle {

font-size: 12pt;
}

body, td, ol, ul, li {
font-family: arial, sans-serif;
font-size: 10pt;
}

h1,h2,h3,h4 {
font-family: arial;
padding: 3px;
}

h1 {
font-size: 14pt;
color: #000000;
margin-top: 14pt;
margin-bottom: 14pt;
background-color: #eeeeee;
border: thin solid #000000;
}
h2 {
font-size: 12pt;
margin-top: 12pt;
margin-bottom: 12pt;
border-bottom: thin solid #333333;
}
h3 {
font-size: 12pt;
margin-top: 12pt;
margin-bottom: 12pt;
border-bottom: thin dashed #333333;
width: 75%
}
h4 {
font-size: 12pt;
margin-top: 12pt;
margin-bottom: 12pt;
border-bottom: thin dotted #555555;
width: 50%
}
h5 {
font-size: 10pt;
}
pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:1pt;
    border-color:#999999;
    color:#111111;
    padding:5px;
    width:99%;
}
div.diffold {
    background-color: #FFFF80;
    border-style:none;
    border-width:thin;
    width:100%;
}
div.diffnew {
    background-color: #80FF80;
    border-style:none;
    border-width:thin;
    width:100%;
}
.rss_title {
font-size: 8pt;
line-height: 10pt;
font-weight: bold;
}
.rss_update {
font-size: 8pt;
line-height:10pt;
font-style: italic;
}
.rss_item {
font-size: 8pt;
line-height:10pt;
}