common.css

   1
   2 /* Global Attributes */
   3
   4 html, body { /* background goes here because of XHTML semantics */
   5   background-color: #F9F9FF;
   6   color: #000;
   7   font-family: Georgia, serif;
   8   font-size: 10.5pt;
   9   margin: 0;
  10   padding: 0;
  11 }
  12
  13 body {padding: 0 0 3em 0;}
  14
  15 /* needs some tuning */
  16 a {color: #00E;}
  17 a:visited {color:#551A8B}
  18 a:hover {color: #FF6600;}
  19 a:active {color: #E00;}
  20
  21 /* Header <common-header.xml> */
  22
  23 #header {
  24   margin: 0;
  25   background: #4A6282;
  26   background-position: right 0.2em;
  27   color: #FFF;
  28   width: 100%;
  29 }
  30 #header a {
  31   margin: 0.5em 5%;
  32   color: #FFF;
  33   text-decoration: none;
  34   font-family: Georgia, serif;
  35   font-weight: normal;
  36   font-variant: small-caps;
  37   letter-spacing: 0.2em;
  38   font-size: 2em;
  39   line-height: 2em;
  40 }
  41 #header a:hover {color: #E0E2E6;}
  42
  43 /* navigation */
  44
  45 #navigation {
  46   margin: 0;
  47   padding: 0;
  48   border: solid #8AA0BC;
  49   border-width: 1px 0;
  50   background: #6480A6;
  51   width: 100%;
  52 }
  53
  54 #navigation h2 {display:none;}
  55
  56 #navigation ol {
  57   margin: 0 5%;
  58   padding: 0;
  59   display: block;
  60 }
  61
  62 #navigation li {
  63   display: inline;
  64   line-height: 1.7em;
  65   margin: 0 0.6em 0 0; /* is readjusted by index.css */
  66 }
  67
  68 #navigation li a {
  69   color: #FFF;
  70   text-decoration:none;
  71   padding: 0.3em;
  72 }
  73
  74 #navigation li a:hover {
  75   background: #BCC8D8;
  76 }
  77
  78 /* Logo */
  79 #logo {
  80   position: absolute;
  81   right: 0;
  82   top: 0;
  83   width: 80px;
  84   height: 80px;
  85   margin: 0.5em 5%;
  86   /* transparency fix */
  87   filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='logo.png', sizingMethod='scale');
  88 }
  89
  90 body>#logo { /* hidden from IE6 */
  91   background: url('logo.png') no-repeat;
  92 }
  93
  94 /* Title */
  95 #title {
  96   font-weight: normal;
  97   font-size: 2em;
  98   border-bottom: 1px solid #BCC8D8;
  99   margin: 1em 20% 0;
 100   text-align: center;
 101 }
 102
 103 /* Content */
 104 #content {
 105   clear: left;
 106   margin: 2em auto;
 107   padding: 0 5%;
 108   max-width: 56em;
 109   width: expression(document.body.clientWidth >
 110     85 * parseInt(document.body.currentStyle.fontSize) ?
 111     "54em": "auto");
 112 }
 113
 114 /* removes specialized styling */
 115 #alt-content {
 116   clear: left;
 117   margin: 2em 5%;}
 118
 119 #content h2 {
 120   font-weight: normal;
 121   font-size: 1.5em;
 122   border-bottom: 1px solid #AAA;
 123   margin-top: 2em;
 124 }
 125
 126 #content h3 {
 127
 128 }
 129
 130 p {
 131   line-height: 1.4em;
 132 }
 133
 134 #content p {
 135   margin: 0;
 136   text-indent: 2em;
 137 }
 138 #content p.lead {
 139   text-indent: 0;
 140 }
 141
 142 blockquote.digression {
 143   font: 11pt Helvetica, sans-serif;
 144   margin-left: 4em;
 145   margin-right: 4em;
 146 }
 147
 148 blockquote.fancy {
 149   background: transparent url(quote-left.png) left top no-repeat;
 150   margin: 1em 3%;
 151 }
 152 blockquote.fancy div.quote {
 153   background: transparent url(quote-right.png) right bottom no-repeat;
 154   padding: .5em 48px .5em;
 155 }
 156 blockquote.fancy div.origin {
 157   text-align: right;
 158 }
 159
 160 #content pre {
 161   margin-left:4em;
 162 }
 163
 164 #content pre.long {
 165   margin-left:2%;
 166   width: 100%;
 167   overflow: auto;
 168 }
 169
 170 /* acronym/abbr stuff */
 171
 172 /* acc:abbr is a hack to get styling to work in IE, see pngFix.js for details  */
 173
 174 acronym, abbr, acc\:abbr { /* basic styling */
 175   border-bottom: none;
 176   font-size: 80%;
 177 }
 178 h2 acronym, h2 abbr, h2 acc\:abbr{ /* use normal size in headings */
 179   font-size: 100%;
 180 }
 181
 182 /* aural declarations, pretty much sums up our semantics */
 183 acronym {
 184   speak: normal;
 185 }
 186 abbr, acc\:abbr {
 187   speak: spell-out;
 188 }
 189
 190
 191 #content form {
 192   margin: 1em;
 193 }
 194
 195 #content table {
 196   margin: 1em;
 197 }
 198 #content table thead th {border-bottom:1px solid #3C578C;}
 199 #content table td, table th {
 200     padding: 0 .4em;
 201 }
 202
 203 #content .wide-table {
 204   width: 100%;
 205 }
 206 #content .wide-table td, .wide-table th {
 207   white-space: nowrap;
 208 }
 209
 210 .disclaimer, .warning {
 211     background:#FBB;
 212     border:1px solid #F00;
 213     margin:1em 3em;
 214     padding:1em;
 215 }
 216
 217 .notice {
 218   background:#7084AA;
 219   border:1px solid #4D5E80;
 220   color:#FFF;
 221   margin:1em 0;
 222   padding:0.6em;
 223 }
 224
 225 .notice a {
 226   color: #FFF;
 227   font-weight:bold;
 228 }
 229
 230 .notice p {
 231   margin-bottom:0;
 232 }
 233
 234 .notice p.lead {
 235   margin-top:0;
 236 }
 237
 238 .warning h2 {
 239   color: #911;
 240   font-weight: bold;
 241   margin: 0 0 .5em 0;
 242 }
 243 .warning p {
 244   text-indent: 0;
 245 }
 246
 247 li {
 248   line-height: 1.4em;
 249 }
 250
 251 ol.notes {
 252   font-size:8pt;
 253 }
 254
 255 ul.long li {
 256   margin-top:1em;
 257 }
 258
 259 ol.long li {
 260   margin-top:1em;
 261 }
 262
 263 .clear {clear:both;}
 264
 265 /* News widgets, for RSSGenerator */
 266
 267 .news .item {
 268   border-bottom: 1px solid #BCC8D8;
 269   padding-bottom: 1em;
 270 }
 271 .news .title {
 272   margin-bottom: 0;
 273 }
 274 .news .date {
 275   font-style: italic;
 276   font-size: 10pt;
 277   margin-bottom: 1em;
 278   margin-left: 2em;
 279 }
 280 .news .body {}
 281
 282 /* Table of contents, for GenerateTableofContents */
 283
 284 #toc ul {
 285   list-style-type: none;
 286 }
 287 #toc .toc-label {
 288   float: left;
 289   padding-right: .5em;
 290   text-align: right;
 291   width: 2em;
 292 }
 293
 294 .floated#toc {float: right; width: 28%; background:#F9F9FF;
 295   padding:1em; margin: 1em 0 1em 1em; border: 1px solid #AAA;
 296   position:relative;z-index:1;}
 297 .floated#toc h2 {margin:0; font-size: 1.3em;}
 298 .floated#toc .toc-base {margin:0.9em 0 0; padding:0;} /* Both set to zero for IE and Firefox */
 299 .floated#toc li {
 300   margin-top: .5em;
 301 }
 302 .floated#toc .toc-label {
 303   width: 1.5em;
 304 }
 305
 306
 307
 308 /* download */
 309
 310 #download-box {
 311   background: #437048;
 312   position: relative;
 313   padding: 0;
 314   margin: 2em 0 1em 0;
 315   min-width: 380px;
 316 }
 317
 318 #download-box h2 {
 319   font-size: 2em;
 320   font-weight: normal;
 321   color: #FFF;
 322   line-height: 1.5em;
 323   margin: 0;
 324   padding: 0 0 0 0.5em;
 325   border: 0;
 326 }
 327
 328 #download-files {
 329   background: #70A978 url('art/dl-arrow.png') no-repeat;
 330   background-position: 10px 100%;
 331 }
 332
 333 #download-box .dl-box {
 334   margin: 0;
 335   position: relative;
 336   padding: 0.5em;
 337   padding-left: 110px;
 338 }
 339
 340 #download-box .dl-box a {
 341   color: #000;
 342   font-size: 1.4em;
 343   position: relative;
 344   z-index: 1;
 345   text-decoration: none;
 346   border-bottom: 1px solid #437048;
 347 }
 348
 349 #download-box .dl-box a:hover {
 350   color: #FFF;
 351 }
 352
 353 #download-box .dl-box .file-type {
 354   color: #437048;
 355   margin-left: 1em;
 356   font-size: 1.2em;
 357 }
 358
 359 #download-others {
 360   text-align: right;
 361   padding: 0 1.5em 0 0;
 362   background: #56905c;
 363 }
 364
 365 #download-others a {
 366   color: #FFF;
 367   text-decoration: none;
 368   font-size: 1.2em;
 369 }
 370
 371 #download-others a:hover {
 372   color: #000;
 373 }
 374