body {
        color: black;
        font-family: Arial, Helvetica, sans-serif;
        font-size: 14px;
}

div.table table, div.informaltable table {
        border-collapse: separate;
        border: solid 1px #333366;
        border-spacing: 1px;
}

div.table th, div.informaltable th {
        color: white;
        border: 0px;
        padding: 2px;
}

div.table td, div.informaltable td {
        border: 0px;
        padding: 2px;
}


pre.screen {
        padding: 4px;
}

pre.programlisting {
        padding: 4px;
}

span.keycap {
        border: solid 1px #aaa;
        white-space: nowrap;
        font-family: Arial, Helvetica, sans-serif;
}

span.guimenu, span.guisubmenu, span.guimenuitem {
}

tt.filename {
        color: maroon;
        white-space: nowrap;
}

tt.option {
        color: #066;
        white-space: nowrap;
}

div.example {
        padding-left: 0.5em;
        border-left: solid 2px black;
}

div.important .title, div.caution .title, div.warning .title {
        color: #c00;
}