1.1 --- a/docs/styles.css Mon Apr 11 21:32:23 2005 +0000
1.2 +++ b/docs/styles.css Mon Apr 18 22:47:28 2005 +0000
1.3 @@ -1,54 +1,61 @@
1.4 -BODY {
1.5 -background-color: white;
1.6 -font-size: 12pt;
1.7 -}
1.8 +/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */
1.9
1.10 -H1 {
1.11 -color: navy;
1.12 -font-family: sans-serif;
1.13 -font-size: 20pt;
1.14 -}
1.15 + body { background-color: white;
1.16 + font-size: 12pt;
1.17 + }
1.18 +
1.19 + h1 { color: navy;
1.20 + font-family: sans-serif;
1.21 + font-size: 20pt;
1.22 + }
1.23
1.24 -H2 {
1.25 -color: navy;
1.26 -font-family: sans-serif;
1.27 -font-size: 18pt;
1.28 -}
1.29 + h2 { color: navy;
1.30 + font-family: sans-serif;
1.31 + font-size: 18pt;
1.32 + }
1.33
1.34 -H3 {
1.35 -color: navy;
1.36 -font-family: sans-serif;
1.37 -font-size: 16pt;
1.38 -}
1.39 + h3 { color: navy;
1.40 + font-family: sans-serif;
1.41 + font-size: 16pt;
1.42 + }
1.43 +
1.44 + h4 { color: navy;
1.45 + font-family: sans-serif;
1.46 + font-size: 14pt;
1.47 + }
1.48 +
1.49 + ul { list-style-type: disc;
1.50 + }
1.51
1.52 -H4 {
1.53 -color: navy;
1.54 -font-family: sans-serif;
1.55 -font-size: 14pt;
1.56 -}
1.57 + pre { border: 1pt solid black;
1.58 + padding: 0.5em;
1.59 + background-color: silver;
1.60 + color: black;
1.61 + }
1.62
1.63 -UL {
1.64 -list-style-type: disc;
1.65 -}
1.66 + .WebStack { border: 1pt solid black;
1.67 + background-color: rgb(224, 224, 224);
1.68 + padding-left: 0.5em;
1.69 + padding-right: 0.5em;
1.70 + }
1.71 +
1.72 + th, td, caption { font-size: 12pt;
1.73 + }
1.74
1.75 -PRE {
1.76 -background-color: silver;
1.77 -color: black;
1.78 -border-style: solid;
1.79 -border-color: black;
1.80 -border-width: 1pt;
1.81 -padding: 0.5em;
1.82 -}
1.83 + .explanation { border-style: solid;
1.84 + border-width: 2px;
1.85 + padding: 0.25em;
1.86 + top: -0.5em;
1.87 + width: 40%;
1.88 + display: block;
1.89 + float: right;
1.90 + position: relative;
1.91 + left: 10%;
1.92 + background-color: rgb(255, 255, 153);
1.93 + font-weight: normal;
1.94 + }
1.95
1.96 -.WebStack {
1.97 -background-color: #e0e0e0;
1.98 -border-style: solid;
1.99 -border-color: black;
1.100 -border-width: 1pt;
1.101 -padding-left: 0.5em;
1.102 -padding-right: 0.5em;
1.103 -}
1.104 + .layers { width: 60%;
1.105 + text-align: center;
1.106 + }
1.107
1.108 -TH, TD, CAPTION {
1.109 -font-size: 12pt;
1.110 -}