body {
    font-family: liberation sans,arial,Helvetica; 
    font-size: 12pt;
    margin:0px;
    margin-left:80px;
    margin-right:80px;
}
code {
    color: #0044ff;
    font-size: 11pt;
    font-family: monospace;
}

th {font-size:24pt }

a.bold { 
    font-size: 16pt; 
    font-weight: bold; 
    border-style: solid;
    border-width: 0px 0px 2px 0px;
    border-color: #8cacbb;
    border-color: #8E0D0D;
 }
h4 { 
    font-size: 16pt; 
    font-weight: normal; 
    border-style: solid;
    border-width: 0px 0px 1px 0px;
    border-color: #8E0D0D;
}
h4.in {
    margin-left: 10px;
    border-width: 0px 0px 0px 0px;
}
p {margin-left: 0px}
p.in {margin-left: 10px}
td.ver {font-size:small}
td.rev {color:#888888;font-size:10pt}
div.m20 {margin-left:20px; margin-bottom:40px; }
div.in  {margin-left:20px }
div.box {
    border-style: solid;
    border-width: 1px;
    border-color: #8E0D0D;
    padding:4px;
    margin-top:8px;
    margin-bottom:8px;
}
pre {
    margin-left:0px;
    background-color: #bbddee;
    padding:10px;
    font-size: 10pt;
    border-style:dashed;
    border-width:1px;
    border-color:#8cacbb;
}
tr.banner {
    width:100%;
    font-size: 11pt;
    font-weight:bold;
    background-color: #444444;
}
a.menu {
    color:#ffffff;
    text-decoration:none;
    margin-left:1px;
    margin-right:1px;
}