1html { 2 padding:0px; 3 margin:0px; 4} 5 6body { 7 background-color: #fff; 8 font-family: Verdana, Arial, SunSans-Regular, Sans-Serif; 9 color: #000; 10 padding:0px; 11 margin:0px; 12 font-size: small; 13} 14 15#job img { border:1px solid #DDDDDD; } 16#job:hover img { border:1px solid #8888EE; } 17 18p, h2, pre { 19 margin: 0px; 20 padding-top: 5px; 21 padding-bottom: 5px; 22 /*padding-left: 1ex;*/ 23 /*padding: 5px 20px 5px 20px; */ 24} 25 26p.rm { 27 padding-top: 0px; 28 padding-bottom: 0px; 29} 30 31a { 32 color: #4183c4; 33 /*font-size: smaller;*/ 34 background-color:transparent; 35 text-decoration: none; 36} 37 38#content a:hover { 39 text-decoration: underline; 40} 41 42.source { 43 border-top: 1px solid #DDDDDD; 44 border-bottom: 1px solid #DDDDDD; 45 background:#f5f5f5; 46 font-family: Courier, "MS Courier New", Prestige, Everson Monocourrier, monospace; 47 padding-bottom: 0.5ex; 48 padding-top: 0.5ex; 49 padding-left: 1ex; 50 51 margin-left: 0ex; 52 margin-top: 0.5ex; 53 margin-bottom: 0.5ex; 54 white-space: pre; 55 56 -webkit-border-radius: 3px; 57 -moz-border-radius: 3px; 58 border-radius: 3px; 59} 60 61pre { 62 background-color:transparent; 63 font-family: Monaco, Andale Mono, Courier New, monospace; 64} 65 66.alignright { 67 margin-top: 0; 68 text-align: right; 69 font-size: 10px; 70} 71 72h1, h2, h3, h4 { 73 color: #333; 74} 75 76h2 { 77 padding-top:10px; 78 background-color: transparent; 79 font-weight: 900; 80 font-size: x-large; 81} 82 83h3 { 84 padding-top: 5px; 85 background-color: transparent; 86 font-weight: normal; 87 font-size: large; 88} 89 90h4 { 91 padding-top:5px; 92 background-color: transparent; 93 font-weight: normal; 94 font-size: large; 95} 96 97table.footer { 98 width: 100%; 99} 100 101.footer { 102 text-align: right; 103 color: #564b47; 104 background-color: #fff; 105 padding:0px; 106 border-top: 1px solid #CCCCCC; 107 margin-top: 3ex; 108 font-size: smaller; 109} 110 111 112strong { 113 /*font-size: 13px;*/ 114 font-weight: bold; 115} 116 117/* positioning-layers static and absolute */ 118 119#breadcrumbs { 120 padding: 3px 10px 3px 10px; 121 margin: 0px 4px 0px 4px; 122 font-size: small; 123 border: 1px solid #CCCCCC; 124 /*border-bottom: 1px solid #aaa; 125 /* background-color: #ccc; lime; 126 border-color: #663300;*/ 127 background-color: #ffd0a0; 128 /*max-width: 77em;*/ 129} 130 131#left { 132 position: absolute; 133 left: 0px; 134 width: 15em; 135 margin: 4px 0px 0px 4px; 136 padding: 0px; 137 font-size: 80%; 138 background-color: #ffffff; 139} 140 141.menuGroup { 142 border: 1px solid #cccccc; 143 background-color: #fff8e8; 144 color: #564b47; 145 border: 1px solid #cccccc; 146 -webkit-border-radius: 3px; 147 -moz-border-radius: 3px; 148 border-radius: 3px; 149} 150 151.menuGroup a { 152 display: block; 153 width: 95.5%; 154 margin: 0px; 155 padding: 2px; 156 border: solid 1px #fff8e8; 157 color: #0066cc; 158 text-decoration: none; 159} 160 161.menuGroup a:hover { 162 border: solid 1px #FFFFFF; 163 background-color: #3333CC; 164 color: #ffffff; 165 -webkit-border-radius: 3px; 166 -moz-border-radius: 3px; 167 border-radius: 3px; 168} 169 170.pub { 171 text-align: center; 172} 173 174#left .pub a:hover { 175 background-color: transparent; 176 border: solid 0px #FFFFFF; 177} 178 179#left a:hover, #right a:hover { 180 border: solid 1px #FFFFFF; 181 background-color: #3333CC; 182 color: #ffffff; 183 -webkit-border-radius: 3px; 184 -moz-border-radius: 3px; 185 border-radius: 3px; 186} 187 188#left div.jobadd { 189 font-size: 160%; 190 color: #fff; 191 margin: 0px; 192 padding: 1ex; 193 194 text-align: center; 195 -webkit-border-radius: 3px; 196 -moz-border-radius: 3px; 197 border-radius: 3px; 198 199 background-image: -ms-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%); 200 background-image: -moz-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%); 201 background-image: -o-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%); 202 background-image: -webkit-gradient(linear, right bottom, left top, color-stop(0, #FFBB55), color-stop(1, #FF8822)); 203 background-image: -webkit-linear-gradient(bottom right, #FFBB55 0%, #FF8822 100%); 204 background-image: linear-gradient(to top left, #FFBB55 0%, #FF8822 100%); 205} 206 207#left div.jobadd a, div.jobadd a:hover { 208 background-color: transparent; 209 color: #fff; 210 border-width: 0px; 211} 212 213#right { 214 position: absolute; 215 right: 0px; 216 width: 14em; 217 color: #564b47; 218 margin: 4px 4px 0px 0px; 219 padding: 0px; 220 background-color: #ffffff; 221 border: 1px solid #cccccc; 222 font-size: 80%; 223} 224 225p.menu_header { 226 margin: 0px; 227 padding: 2px; 228 font-weight: normal; 229 background-color: #ffd0a0; 230 border-top: solid 1px #CCCCCC; 231 border-bottom: solid 1px #CCCCCC; 232} 233 234#content { 235 margin: 0px 12em 0px 16em; 236 padding: 0px 2em 0px 0px; 237 background-color: #ffffff; 238} 239 240 241#content img { 242 border:none; 243 margin-left: auto; 244 margin-right: auto; 245 display: block; 246} 247 248.author { 249 text-align: left; 250 font-weight: bold; 251} 252 253.definition { 254 padding-left: 5px; 255 padding-right: 5px; 256 margin: 5px 50px 5px 50px; 257 text-align: justify; 258 background-color: #E6E64C; 259} 260 261.deftitle { 262 font-weight: bold; 263} 264 265.big { 266 font-size: 130%; 267} 268 269.green { 270 color: green; 271} 272.blue { 273 color: blue; 274} 275 276.red { 277 color: red; 278} 279 280.bold { 281 font-weight: bold; 282} 283 284.redBold { 285 color: red; 286 font-weight: bold; 287} 288.greenBold { 289 color: green; 290 font-weight: bold; 291} 292 293code { 294 font-family: Courier, monospace; 295} 296 297 298.option { 299 border: 1px solid black; 300 font-family: Arial, sans-serif; 301} 302.highlight { 303 width: 18em; 304 float: right; 305 display: inline; 306 font-size: 110%; 307 308 border: 2px solid #711; 309 -webkit-border-radius: 4px; 310 -moz-border-radius: 4px; 311 border-radius: 4px; 312 background:#FFE0B0; 313 padding-top: 1ex; 314 padding-left: 1ex; 315 padding-right: 1ex; 316 padding-bottom: 1ex; 317 margin-left: 1em; 318 margin-right: 0em; 319 margin-bottom: 1ex; 320} 321 322 323.survey { 324 font-weight: bolder; 325 font-size: larger; 326 327 border:1px solid #cccccc; 328 background:#FFCC99; 329 padding-left: 1ex; 330 padding-right: 1ex; 331} 332/* ========== body table ============ */ 333table.bodyTable { 334 padding: 0px; 335 margin-left: -2px; 336 margin-right: -2px; 337} 338 339table.bodyTable th { 340 color: white; 341 background-color: #bbb; 342 font-weight: bold; 343} 344 345 346table.bodyTable td { 347 padding-left: 0.5ex; 348 padding-bottom: 0.5ex; 349} 350 351 352/* apply to tr elements of tables which are both bodytable and dark */ 353table[class="bodyTable dark"] tr { 354 background-color: #ddd; 355} 356 357/* apply to tr elements of tables which are both bodytable and dark */ 358table[class="bodyTable properties"] tr { 359 vertical-align: top; 360} 361 362table.bodyTable tr.a { 363 background-color: #ddd; 364} 365 366table.bodyTable tr.b { 367 background-color: #eee; 368} 369 370table.bodyTable tr.alt { 371 background-color: #eee; 372} 373 374.striped tr:nth-child(odd) td { 375 background-color: #f9f9f9; 376} 377.striped td { 378 background-color: #f0f0f0; 379} 380 381/* EOF =============== bodyTable =============== */ 382 383.label { 384 padding: 1px 3px 2px; 385 font-size: 9.75px; 386 font-weight: bold; 387 color: #ffffff; 388 text-transform: uppercase; 389 white-space: nowrap; 390 background-color: #bfbfbf; 391 -webkit-border-radius: 3px; 392 -moz-border-radius: 3px; 393 border-radius: 3px; 394} 395.label.notice { 396 background-color: #62cffc; 397} 398 399 400/* ------------------------------------ */ 401 402dt { 403 border-top: 2px solid #888888; 404 color: #333; 405 padding-bottom: 1ex; 406 padding-top: 1ex; 407 font-weight: bold; 408} 409dd { 410 margin-top: 1ex; 411 margin-bottom: 1ex; 412} 413 414/* ------------------------------------ */ 415.anchor { display:none; } 416 417h1 .anchor:before {content:url(anchor24.png);} 418h2 .anchor:before {content:url(anchor20.png);} 419h3 .anchor:before {content:url(anchor16.png);} 420h4 .anchor:before {content:url(anchor12.png);} 421td .anchor:before {content:url(anchor12.png);} 422dt .anchor:before {content:url(anchor12.png);} 423 424h1:hover .anchor { margin-left: -24px; } 425h2:hover .anchor { margin-left: -20px; } 426h3:hover .anchor { margin-left: -16px; } 427h4:hover .anchor { margin-left: -12px; } 428td:hover .anchor { margin-left: -12px; } 429dt:hover .anchor { margin-left: -12px; } 430 431h1:hover .anchor, 432h2:hover .anchor, 433h3:hover .anchor, 434h4:hover .anchor, 435td:hover .anchor, 436dt:hover .anchor { 437 display: inline-block; 438 text-decoration: none; 439} 440 441 442/* ------------ twitter button ------- */ 443.twitter_button { 444 vertical-align: text-bottom; 445 padding-top: 3px; 446 padding-right: 16px; 447 float: left; 448 height: 18px;div 449 text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5); 450 white-space: nowrap; 451 background-color: white; 452 background-image: -moz-linear-gradient(top, #ffffff, #dedede); 453 background-image: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#dedede)); 454 background-image: -ms-linear-gradient(top, #ffffff, #dedede); 455 background-image: linear-gradient(top, #ffffff, #dedede); 456 background-image: -o-linear-gradient(top, #ffffff, #dedede); 457 border: #CCC solid 1px; 458 -webkit-border-radius: 3px; 459 -moz-border-radius: 3px; 460 border-radius: 3px; 461} 462