a             { white-space   : nowrap }
a:hover       { color         : green }
body, th, td  { font-family   : Arial, Helvetica, sans-serif } 
p             { margin-top    : 2.0pt;
                margin-bottom : 4.0pt; }
li            { margin-top    : 4.0pt;
                margin-bottom : 4.0pt; }
ol            { margin-top    : 6.0pt;
                margin-bottom : 8.0pt; }
ul            { margin-top    : 6.0pt;
                margin-bottom : 8.0pt; }
h1, h2        { margin-top    : 10.0pt;
                margin-bottom : 10.0pt; }
h3            { margin-top    : 24.0pt;
                margin-bottom : 16.0pt; }
h4            { margin-top    : 22.0pt;
                margin-bottom : 14.0pt; }
dt            { margin-top    : 6.0pt;
                margin-bottom : 3.0pt; }
dd            { margin-top    : 2.0pt;
                margin-bottom : 2.0pt;
                font-size     : 0.9em; }
pre           { margin-top    : 3.0pt;
                margin-bottom : 3.0pt; }
.head         { padding-top   : 12.0pt; 
                padding-bottom: 12.0pt; 
                border-top    : 1px solid #D0D0D0;
                border-bottom : 1px solid #D0D0D0;
                background-color: #F6F8F8; }

tt.code       { font-family: monospace;
                background-color: #EBEEEE; }
pre.code      { font-size: 90%;
                font-family: monospace;
                padding: 5px;
                border-width: 1px;
                border-style: solid;
                border-color: #CCCCCC;
                background-color: #EBEEEE; }
.bord         { border       : 1px solid #A0B8F0 }
.bordTop      { border-top   : 1px solid #A0B8F0;
                border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0 }
.bordSid      { border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0 }
.bordBot      { border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0;
                border-bottom: 1px solid #A0B8F0 }
.rect         { border       : 1px solid #A0B8F0;
                background-color: #EBEEEE; }
.rectTop      { border-top   : 1px solid #A0B8F0;
                border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0;
                background-color: #EBEEEE; }
.rectSid      { border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0;
                background-color: #EBEEEE; }
.rectBot      { border-left  : 1px solid #A0B8F0;
                border-right : 1px solid #A0B8F0;
                border-bottom: 1px solid #A0B8F0;
                background-color: #EBEEEE; }
.rectTopBot   { border-top   : 1px solid #A0B8F0;
                border-bottom: 1px solid #A0B8F0;
                background-color: #EBEEEE; }
.rect2px      { border-left  : 1px solid #FFFFFF;
                border-right : 1px solid #FFFFFF;
                background-color: #FFFFFF; }
.small80      { font-size: 80%; }
