a { text-decoration: none; }
a:hover { text-decoration: underline; }

body {
    border: 0;
    font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
    margin: 0;
    padding: 0;
    line-height: 160%;
    font-size: 15px;
}

h1 { font-size: 25px; }
h2 { font-size: 23px; }
h3 { font-size: 21px; }
h4 { font-size: 19px; }
h5 { font-size: 17px; }
h6 { font-size: 15px; }

pre {
    line-height: 100%;
    font-family: "CosmicSansNeueMono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
    margin: 1.2em -8pt;
}

pre.example { margin: 1.2em 0; }
.container { margin: 0 auto; width: 700px; }
.docstring { margin-left: 15px; }