body  {
    font-family: sans-serif;
    font-size: small;
    color: black;
    background-color: white;
    margin-left: 5;
    margin-right: 5;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    color: #394986; 
    font-weight: bold;
    margin-top: 10;
    margin-bottom: 5;
}

h1,
h2 {
    font-size: large;
}

h3,
h4 {
    font-size: medium;
}

table {
    border-width: 1; 
    border-style: solid;
    border-color: silver;
    background-color: silver;
    padding-left: 0;
    padding-right: 0;
    padding-top: 0;
    padding-bottom: 0;
    margin-top: 5;
    margin-bottom: 5;
}

th,
td {
    border-width: 1; 
    border-style: solid;
    border-color: silver;
    padding-left: 2;
    padding-right: 2;
    padding-top: 2;
    padding-bottom: 2;
}

th {
    background-color: #F0F0F0; 
}

td {
    background-color: white;
}

dl {
    margin-top: 10;
    margin-bottom: 5;
}

dt {
    font-weight: bold;
    margin-top: 0;
    margin-bottom: 0;
}

dd {
    margin-top: 2;
    margin-left: 24;
}
        
ul,
ol {
    margin-top: 5;
    margin-bottom: 0;
}

ul {
    margin-left: 16;
}

ol {
     margin-left: 24;
}

li {
    margin-top: 0;
    margin-bottom: 5;
}
        
li p {
    margin-top: 5;
    margin-bottom: 0;
}

p {
    margin-top: 5;
    margin-bottom: 5;
}

div.sidebar { 
    background-color: #F0F0FF; 
    border-width: 1; 
    border-style: solid;
    border-color: gray;
    padding-top: 5; 
    padding-bottom: 5; 
    padding-left: 5; 
    padding-right: 5; 
    margin-top: 20;
    margin-bottom: 20;
    margin-left: 20;
    margin-right: 20;
}

pre.programlisting,
pre.screen { 
    background-color: #F0F0F0; 
    border-width: 1; 
    border-style: solid;
    border-color: gray;
    padding-top: 2; 
    padding-bottom: 2; 
    padding-left: 2; 
    padding-right: 2; 
}

small {
    font-size: x-small;
}

big {
    font-size: medium;
}

a {
    color: #004668;
}

span.term {
    font-weight: bold;
}

abbr,
acronym {
    font-weight: bold;
}

span.keycap,
span.keycode,
span.keysym,
span.mousebutton {
    font-family: monospace;
    background-color: #EEEEEE;
    padding-top: 1; 
    padding-bottom: 1; 
    padding-left: 1; 
    padding-right: 1; 
}

span.guimenu,
span.guisubmenu,
span.guimenuitem,
span.guibutton,
span.guiicon,
span.interface,
span.guilabel {
    font-weight: bold;
}

a img {
    border-style: none;
}

hr.footnote-hr {
    width: 100px;
    margin-left: 0;
    text-align: left;
}

/* ------------------------------------------------------------------------
 | Syntax highlighting
 +------------------------------------------------------------------------- */

.hl-keyword {
    font-weight: bold;
    color: #602060;
}

.hl-string {
    color: #A00000;
}

.hl-number {
    color: #B08000;
}

.hl-comment {
    font-style: italic;
    color: #808080;
}

.hl-doccomment {
    color: #008080;
}

.hl-directive {
    color: #00A000;
}

.hl-annotation {
    font-weight: bold;
    color: #808080;
}

/*
 * XML
 */

.hl-tag {
    font-weight: bold;
    color: #602060;
}

.hl-attribute {
    color: #0050A0;
}

.hl-value {
    color: #A00000;
}

.hl-doctype {
    color: #008080;
}
