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; } .container { margin: 0 auto; width: 700px; } .docstring { margin-left: 15px; }