2 * documentation formatting (heavily inspired by jinja.css)
5 font-family: Georgia, serif;
7 background-color: white;
14 background-color: #ffffff;
16 padding: 0 30px 0 30px;
21 margin: 30px auto 0 auto;
38 padding: 10px 5px 0 10px;
53 div.sidebar ul.want-points {
68 border: 1px solid #98dbcc;
69 font-family: sans-serif;
75 margin: 20px auto 30px auto;
87 text-decoration: underline;
92 text-decoration: underline;
101 font-family: Crimson Text, Georgia, serif;
103 margin: 30px 0px 10px 0px;
108 div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; }
109 div.body h2 { font-size: 180%; }
110 div.body h3 { font-size: 150%; }
111 div.body h4 { font-size: 130%; }
112 div.body h5 { font-size: 100%; }
113 div.body h6 { font-size: 100%; }
115 div.body p, div.body dd, div.body li {
120 margin: 10px 0 10px 30px;
131 dl pre, blockquote pre, li pre {
142 background-color: #E8EFF0;
144 /* padding: 1px 2px; */
148 text-decoration: none;
149 border-bottom: 1px dotted #bb0000;
153 border-bottom: 1px solid #dd0000;
156 a.footnote-reference {
157 text-decoration: none;
160 border-bottom: 1px dotted #bb0000;
163 a.footnote-reference:hover {
164 border-bottom: 1px solid #dd0000;