1 /* Debug borders */ 2 p, li, dt, dd, div, pre, h1, h2, h3, h4, h5, h6 { 3 /* 4 border: 1px solid red; 5 */ 6 } 7 8 body { 9 margin: 1em 5% 1em 5%; 10 } 11 12 a { 13 color: blue; 14 text-decoration: underline; 15 } 16 a:visited { 17 color: fuchsia; 18 } 19 20 em { 21 font-style: italic; 22 color: navy; 23 } 24 25 strong { 26 font-weight: bold; 27 color: #083194; 28 } 29 30 tt { 31 color: navy; 32 } 33 34 h1, h2, h3, h4, h5, h6 { 35 color: #527bbd; 36 font-family: sans-serif; 37 margin-top: 1.2em; 38 margin-bottom: 0.5em; 39 line-height: 1.3; 40 } 41 42 h1, h2, h3 { 43 border-bottom: 2px solid silver; 44 } 45 h2 { 46 padding-top: 0.5em; 47 } 48 h3 { 49 float: left; 50 } 51 h3 + * { 52 clear: left; 53 } 54 55 div.sectionbody { 56 font-family: serif; 57 margin-left: 0; 58 } 59 60 hr { 61 border: 1px solid silver; 62 } 63 64 p { 65 margin-top: 0.5em; 66 margin-bottom: 0.5em; 67 } 68 69 ul, ol, li > p { 70 margin-top: 0; 71 } 72 73 pre { 74 padding: 0; 75 margin: 0; 76 } 77 78 span#author { 79 color: #527bbd; 80 font-family: sans-serif; 81 font-weight: bold; 82 font-size: 1.1em; 83 } 84 span#email { 85 } 86 span#revnumber, span#revdate, span#revremark { 87 font-family: sans-serif; 88 } 89 90 div#footer { 91 font-family: sans-serif; 92 font-size: small; 93 border-top: 2px solid silver; 94 padding-top: 0.5em; 95 margin-top: 4.0em; 96 } 97 div#footer-text { 98 float: left; 99 padding-bottom: 0.5em; 100 } 101 div#footer-badges { 102 float: right; 103 padding-bottom: 0.5em; 104 } 105 106 div#preamble { 107 margin-top: 1.5em; 108 margin-bottom: 1.5em; 109 } 110 div.tableblock, div.imageblock, div.exampleblock, div.verseblock, 111 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock, 112 div.admonitionblock { 113 margin-top: 1.5em; 114 margin-bottom: 1.5em; 115 } 116 div.admonitionblock { 117 margin-top: 2.5em; 118 margin-bottom: 2.5em; 119 } 120 121 div.content { /* Block element content. */ 122 padding: 0; 123 } 124 125 /* Block element titles. */ 126 div.title, caption.title { 127 color: #527bbd; 128 font-family: sans-serif; 129 font-weight: bold; 130 text-align: left; 131 margin-top: 1.0em; 132 margin-bottom: 0.5em; 133 } 134 div.title + * { 135 margin-top: 0; 136 } 137 138 td div.title:first-child { 139 margin-top: 0.0em; 140 } 141 div.content div.title:first-child { 142 margin-top: 0.0em; 143 } 144 div.content + div.title { 145 margin-top: 0.0em; 146 } 147 148 div.sidebarblock > div.content { 149 background: #ffffee; 150 border: 1px solid silver; 151 padding: 0.5em; 152 } 153 154 div.listingblock > div.content { 155 border: 1px solid silver; 156 background: #f4f4f4; 157 padding: 0.5em; 158 } 159 160 div.quoteblock { 161 padding-left: 2.0em; 162 margin-right: 10%; 163 } 164 div.quoteblock > div.attribution { 165 padding-top: 0.5em; 166 text-align: right; 167 } 168 169 div.verseblock { 170 padding-left: 2.0em; 171 margin-right: 10%; 172 } 173 div.verseblock > div.content { 174 white-space: pre; 175 } 176 div.verseblock > div.attribution { 177 padding-top: 0.75em; 178 text-align: left; 179 } 180 /* DEPRECATED: Pre version 8.2.7 verse style literal block. */ 181 div.verseblock + div.attribution { 182 text-align: left; 183 } 184 185 div.admonitionblock .icon { 186 vertical-align: top; 187 font-size: 1.1em; 188 font-weight: bold; 189 text-decoration: underline; 190 color: #527bbd; 191 padding-right: 0.5em; 192 } 193 div.admonitionblock td.content { 194 padding-left: 0.5em; 195 border-left: 2px solid silver; 196 } 197 198 div.exampleblock > div.content { 199 border-left: 2px solid silver; 200 padding: 0.5em; 201 } 202 203 div.imageblock div.content { padding-left: 0; } 204 span.image img { border-style: none; } 205 a.image:visited { color: white; } 206 207 dl { 208 margin-top: 0.8em; 209 margin-bottom: 0.8em; 210 } 211 dt { 212 margin-top: 0.5em; 213 margin-bottom: 0; 214 font-style: normal; 215 color: navy; 216 } 217 dd > *:first-child { 218 margin-top: 0.1em; 219 } 220 221 ul, ol { 222 list-style-position: outside; 223 } 224 ol.arabic { 225 list-style-type: decimal; 226 } 227 ol.loweralpha { 228 list-style-type: lower-alpha; 229 } 230 ol.upperalpha { 231 list-style-type: upper-alpha; 232 } 233 ol.lowerroman { 234 list-style-type: lower-roman; 235 } 236 ol.upperroman { 237 list-style-type: upper-roman; 238 } 239 240 div.compact ul, div.compact ol, 241 div.compact p, div.compact p, 242 div.compact div, div.compact div { 243 margin-top: 0.1em; 244 margin-bottom: 0.1em; 245 } 246 247 div.tableblock > table { 248 border: 3px solid #527bbd; 249 } 250 thead { 251 font-family: sans-serif; 252 font-weight: bold; 253 } 254 tfoot { 255 font-weight: bold; 256 } 257 td > div.verse { 258 white-space: pre; 259 } 260 p.table { 261 margin-top: 0; 262 } 263 /* Because the table frame attribute is overriden by CSS in most browsers. */ 264 div.tableblock > table[frame="void"] { 265 border-style: none; 266 } 267 div.tableblock > table[frame="hsides"] { 268 border-left-style: none; 269 border-right-style: none; 270 } 271 div.tableblock > table[frame="vsides"] { 272 border-top-style: none; 273 border-bottom-style: none; 274 } 275 276 277 div.hdlist { 278 margin-top: 0.8em; 279 margin-bottom: 0.8em; 280 } 281 div.hdlist tr { 282 padding-bottom: 15px; 283 } 284 dt.hdlist1.strong, td.hdlist1.strong { 285 font-weight: bold; 286 } 287 td.hdlist1 { 288 vertical-align: top; 289 font-style: normal; 290 padding-right: 0.8em; 291 color: navy; 292 } 293 td.hdlist2 { 294 vertical-align: top; 295 } 296 div.hdlist.compact tr { 297 margin: 0; 298 padding-bottom: 0; 299 } 300 301 .comment { 302 background: yellow; 303 } 304 305 @media print { 306 div#footer-badges { display: none; } 307 } 308 309 div#toctitle { 310 color: #527bbd; 311 font-family: sans-serif; 312 font-size: 1.1em; 313 font-weight: bold; 314 margin-top: 1.0em; 315 margin-bottom: 0.1em; 316 } 317 318 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 { 319 margin-top: 0; 320 margin-bottom: 0; 321 } 322 div.toclevel2 { 323 margin-left: 2em; 324 font-size: 0.9em; 325 } 326 div.toclevel3 { 327 margin-left: 4em; 328 font-size: 0.9em; 329 } 330 div.toclevel4 { 331 margin-left: 6em; 332 font-size: 0.9em; 333 } 334
