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;
93 text-decoration: underline;
98 text-decoration: underline;
107 font-family: Crimson Text, Georgia, serif;
109 margin: 30px 0px 10px 0px;
114 div.body h1 { margin-top: 0; padding-top: 0; font-size: 240%; }
115 div.body h2 { font-size: 180%; }
116 div.body h3 { font-size: 150%; }
117 div.body h4 { font-size: 130%; }
118 div.body h5 { font-size: 100%; }
119 div.body h6 { font-size: 100%; }
121 div.body p, div.body dd, div.body li {
126 margin: 10px 0 10px 30px;
137 dl pre, blockquote pre, li pre {
148 background-color: #E8EFF0;
150 /* padding: 1px 2px; */
154 text-decoration: none;
155 border-bottom: 1px dotted #bb0000;
159 border-bottom: 1px solid #dd0000;
162 a.footnote-reference {
163 text-decoration: none;
166 border-bottom: 1px dotted #bb0000;
169 a.footnote-reference:hover {
170 border-bottom: 1px solid #dd0000;