2 /* Global Attributes */
4 html
{ /* background goes here because of XHTML semantics */
5 background-color: #F9F9FF;
7 font-family: Georgia
,serif
;
18 /* Header <common-header.xml> */
23 background-position: right
0.2em;
30 text-decoration: none
;
31 font-family: Georgia
, serif
;
33 font-variant: small-caps
;
34 letter-spacing: 0.2em;
38 #header a:hover
{color: #E0E2E6;}
45 border: solid
#8AA0BC;
51 #navigation h2
{display:none
;}
62 margin: 0 0.6em 0 0; /* is readjusted by index.css */
71 #navigation li
a:hover
{
83 /* transparency fix */
84 filter:progid:DXImageTransform
.Microsoft
.AlphaImageLoader
(src
='logo.png', sizingMethod
='scale');
87 body
>#logo
{ /* hidden from IE6 */
88 background: url
('logo.png') no-repeat
;
95 border-bottom: 1px solid
#BCC8D8;
109 border-bottom: 1px solid
#AAA;
129 blockquote
.digression
{
130 font: 11pt Helvetica
, sans-serif
;
136 background: transparent url
(quote-left
.png
) left top no-repeat
;
138 blockquote
.fancy div
.quote
{
139 background: transparent url
(quote-right
.png
) right bottom no-repeat
;
140 padding: .5em 48px .5em;
142 blockquote
.fancy div
.origin
{
156 /* acronym/abbr stuff */
158 /* acc:abbr is a hack to get styling to work in IE, see pngFix.js for details */
160 acronym
, abbr
, acc\
:abbr
{ /* basic styling */
164 h2 acronym
, h2 abbr
, h2 acc\
:abbr
{ /* use normal size in headings */
168 /* aural declarations, pretty much sums up our semantics */
184 #content table thead th
{border-bottom:1px solid
#3C578C;}
185 #content table td
, table th
{
189 #content .wide-table
{
192 #content .wide-table td
, .wide-table th
{
196 .disclaimer, .warning {
198 border:1px solid
#F00;
205 border:1px solid
#4D5E80;
247 /* News widgets, for RSSGenerator */
250 border-bottom: 1px solid
#BCC8D8;
264 /* Table of contents, for GenerateTableofContents */
267 list-style-type: none
;
276 .floated#toc {float: right
; width: 28%; background:#F9F9FF;
277 padding:1em; margin: 1em 0 1em 1em; border: 1px solid
#AAA;
278 position:relative
;z-index:1;}
279 .floated#toc h2 {margin:0; font-size: 1.3em;}
280 .floated#toc .toc-base {margin:0.9em 0 0; padding:0;} /* Both set to zero for IE and Firefox */
284 .floated#toc .toc-label {
305 padding: 0 0 0 0.5em;
310 background: #70A978 url
('art/dl-arrow.png') no-repeat
;
311 background-position: 10px 100%;
314 #download-box .dl-box
{
321 #download-box .dl-box a
{
326 text-decoration: none
;
327 border-bottom: 1px solid
#437048;
330 #download-box .dl-box
a:hover
{
334 #download-box .dl-box
.file-type
{
342 padding: 0 1.5em 0 0;
348 text-decoration: none
;
352 #download-others a:hover
{