#onlineDocs {padding: 0px 20px;}
#onlineDocs a {color: #369;}
#onlineDocs a:hover {text-decoration: underline;}
#onlineDocs code {
    background-color: #F2F2F2;
    color: #444;
    font-family: Consolas, 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    padding:0.2em;
}
#onlineDocs ol {margin-left: 0px;}
#onlineDocs pre {
    background-color: #EEE;
    border: 1px solid #CCC;
    border-radius: 6px;
    font-family: Consolas, 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    margin-bottom: 1em;
    margin-left: 1em;
    overflow-x: auto;
    overflow-y: hidden;
    padding: 7px;
}
#onlineDocs ul {list-style-type: disc;}
