/*
 * Main elements
 */
body {
    font-family: Helvetica, Verdana, Arial, sans-serif;
    font-size: 12px;
    margin: 0;
    padding: 0;
}

h1 { font-size: 26px; margin: 0 0 12px 0; padding: 0; background: #000; color: #fff; }

h2 { font-size: 20px; margin: 12px 0 12px 0; padding: 5px; }

h3 { font-size: 17px; margin: 0 0 0 0; padding: 5px 5px 5px 20px; }

p { margin: 0 0 12px 0; padding: 0; }

div, blockquote { margin: 0; padding: 0; }

ol, ul { margin: 0 0 0 20px; padding: 0; }

li { margin: 0 0 8px; }

dl { margin: 0; }

dd { margin: 0; padding-left: 20px; }

/*
 * Specifics
 */
a.web-loc { position: absolute; top: 6px; right: 20px; color: #fff; }

div.block { padding-left: 20px; }
h3 + div.block { padding-left: 30px; }


.clickable { cursor: pointer; }

h2.clickable:hover { background: #3366aa; }

h3.clickable:hover { background: #6699aa; }

dt { padding: 5px 5px 5px 20px; margin-left: -20px; }
dt.clickable:hover { background: #d0d0d0; }

ol.toc {display: none;}