2 font-family: sans-serif;
13 text-decoration: none;
23 border-bottom: 2px solid #99F;
32 border-bottom: 1px solid #99C;
39 border-bottom: 1px solid #99C;
43 text-decoration: none;
88 border-bottom: 1px solid #99C;
93 div.comform span.comformoptional {
109 span.formurlexample {
111 background-color: #EEF;
112 font-family: monospace;
114 padding-right: 0.2em;
117 textarea.comformbody {
118 font-family: monospace;
144 background-color: #99F;
152 border-top: 2px solid #99F;
156 /* Articles are enclosed in <div class="section"> */
157 div.section h1, div.section h2 {
160 border-bottom: 1px dotted #99C;
165 border-bottom: 1px dashed #99C;
173 background-color: #F9F9FF;
175 border: 1px dashed #99C;
189 margin-bottom: 0.3em;
201 background-color: #FEE;
203 border: 1px dashed #C99;
210 div.warning a:hover {
214 div.warning p.first {
217 margin-bottom: 0.3em;
227 div.admonition p.first {
228 text-decoration: underline;
232 div.admonition-mental-note {
234 background-color: #F3FFF3;
236 border: 1px dashed #99C;
239 div.admonition-mental-note a {
243 div.admonition-mental-note a:hover {
247 div.admonition-mental-note p.first {
250 margin-bottom: 0.3em;
254 div.admonition-update {
256 background-color: #F3FFF3;
258 border: 1px dashed #99C;
261 div.admonition-update a {
265 div.admonition-update a:hover {
269 div.admonition-update p.first {
272 margin-bottom: 0.3em;
280 img.center, img.align-center {
299 border: 8pt solid black;
305 border-bottom: thin dotted #99F;
323 border-left: 0.2em solid #99C;
330 background-color: #EEE;
332 border: 1px solid #CCC;
339 text-decoration: underline;
362 text-decoration: line-through;