28 lines
702 B
CSS
28 lines
702 B
CSS
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; }
|