1html { 2 margin : 0; 3 padding : 0; 4 background : white; 5} 6 7body { 8 font-family : "Lucida Grande", Verdana, "Bitstream Vera Sans", sans-serif; 9 font-weight : normal; 10 font-size : 13px; 11 line-height : 19px; 12 13 color : black; 14 15 margin : 0 2em 0 2em; 16 padding : 0; 17} 18 19 20body { 21 min-width: 40em; 22} 23 24#container { 25 max-width : 46em; 26 margin : 0 auto; 27 padding : 0 1em 0 1em; 28} 29 30 31 32/* 33 * Footer 34 * 35 */ 36#footer { 37 color : #3a84a7; 38 39 padding : 1em 0 0.5em 0; 40 41 font-size : 10px; 42 line-height : 15px; 43 44 text-align: center; 45} 46 47#footer a:link, #footer a:visited { 48 49 color:#1d6699; 50 text-decoration: underline; 51} 52 53#footer a { 54 margin-left: 0.7em; 55 margin-right: 0.7em; 56} 57 58#footer p { 59 padding: 0; 60 margin: 0.3em 0 0 0; 61} 62 63/* Distribution terms. */ 64#footer #terms { 65 text-align: justify; 66 67 font-size : 110%; 68 font-family : monospace; 69 70 padding : 1em 0 0.5em 0; 71} 72 73 74/* 75 * Content 76 * 77 */ 78 79#content { 80 padding : 0em 0.1em 0 1.3em; 81 margin : 1.4em 0 0 0; 82} 83 84#content p, 85#content ol, 86#content ul, 87#content dl { 88 text-align: justify; 89} 90 91#content h1 { 92 margin-left: -0.89em; 93} 94 95a:link { 96 color:#0536d2; 97} 98 99 100/* 101 * Headings 102 * 103 */ 104 105h1, h2, h3, h4, h5, h6 { 106 font-weight : 500; 107} 108 109h1 { font-size : 155%; } 110h2 { font-size : 130%; } 111h3 { font-size : 125%; } 112h4 { font-size : 110%; } 113h5 { font-size : 106%; } 114h6 { font-size : 100%; } 115 116h1 { margin : 1.8em 0 0.8em 0;} 117h2 { margin-top : 1.4em;} 118h3 { margin-top : 1em;} 119 120p.indent { 121 margin-left : 1.5em; 122} 123 124 125/* 126 * Fix for IE 5.5 table font problem 127 * 128 */ 129 130table { 131 font-size : 13px; 132} 133 134 135/* 136 * table of content 137 * 138 */ 139 140ul.toc li { 141 padding : .4em 0em 0em 0em; 142} 143 144 145/* Toc links don't need to show when they are visited. */ 146.toc a:visited { 147 color:#0536d2; 148} 149 150 151/* 152 * lists 153 * 154 */ 155 156 157/* list of links */ 158ul.menu { 159 list-style-type : none; 160} 161 162ul.menu li { 163 padding-top : 0.3em; 164 padding-bottom : 0.3em; 165} 166 167 168 169/* @@ I should probably use child selector here */ 170/* list with multiline list-elements */ 171ul.multiline li, ol.multiline li, dl.multiline dd { 172 padding-top : 0.16em; 173 padding-bottom : 0.16em; 174 175 font-size : 11px; 176 line-height : 15px; 177} 178 179 180 181/* C++ code snippet */ 182pre.cxx { 183 margin-top : 0em; 184 margin-bottom : 2em; 185 186 margin-left : 1em; 187} 188 189/* SQL code snippet */ 190pre.sql { 191 margin-top : 0em; 192 margin-bottom : 2em; 193 194 margin-left : 1em; 195} 196 197/* make code snippet */ 198pre.make { 199 margin-top : 0em; 200 margin-bottom : 2em; 201 202 margin-left : 1em; 203} 204 205/* terminal output */ 206pre.term { 207 margin-top : 0em; 208 margin-bottom : 2em; 209 210 margin-left : 1em; 211} 212 213 214/* Images */ 215div.center { 216 text-align: center; 217} 218 219/* Document info. */ 220#docinfo { 221 margin-top: 4em; 222 border-top: 1px dashed #000000; 223 font-size: 70%; 224} 225 226 227/* Footnote */ 228 229#footnote { 230 margin-top : 2.5em; 231} 232 233#footnote hr, hr.footnote { 234 margin-left: 0; 235 margin-bottom: 0.6em; 236 width: 8em; 237 border-top: 1px solid #000000; 238 border-right: none; 239 border-bottom: none; 240 border-left: none; 241 242} 243 244#footnote ol { 245 margin-left: 0; 246 padding-left: 1.45em; 247} 248 249#footnote li { 250 text-align : left; 251 font-size : 11px; 252 line-height : 15px; 253 254 padding : .4em 0 .4em 0; 255} 256 257 258/* Normal table with borders, etc. */ 259 260table.std { 261 margin: 2em 0 2em 0; 262 263 border-collapse : collapse; 264 border : 1px solid; 265 border-color : #000000; 266 267 font-size : 11px; 268 line-height : 14px; 269} 270 271table.std th, table.std td { 272 border : 1px solid; 273 padding : 0.6em 0.8em 0.6em 0.8em; 274} 275 276table.std th { 277 background : #cde8f6; 278} 279 280table.std td { 281 text-align: left; 282} 283 284 285/* 286 * "item | description" table. 287 * 288 */ 289 290table.description { 291 border-style : none; 292 border-collapse : separate; 293 border-spacing : 0; 294 295 font-size : 13px; 296 297 margin : 0.6em 0 0.6em 0; 298 padding : 0 0 0 0; 299} 300 301table.description tr { 302 padding : 0 0 0 0; 303 margin : 0 0 0 0; 304} 305 306table.description * td, table.description * th { 307 border-style : none; 308 margin : 0 0 0 0; 309 vertical-align : top; 310} 311 312table.description * th { 313 font-weight : normal; 314 padding : 0.4em 1em 0.4em 0; 315 text-align : left; 316 white-space : nowrap; 317 background : none; 318} 319 320table.description * td { 321 padding : 0.4em 0 0.4em 1em; 322 text-align : justify; 323} 324