1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/docs/styles.css Sun Jul 17 01:07:10 2005 +0000
1.3 @@ -0,0 +1,66 @@
1.4 +/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */
1.5 +
1.6 + body { background-color: white;
1.7 + }
1.8 +
1.9 + h1 { color: navy;
1.10 + font-family: sans-serif;
1.11 + font-size: 2.0em;
1.12 + }
1.13 +
1.14 + h2 { color: navy;
1.15 + font-family: sans-serif;
1.16 + font-size: 1.8em;
1.17 + }
1.18 +
1.19 + h3 { color: navy;
1.20 + font-family: sans-serif;
1.21 + font-size: 1.6em;
1.22 + }
1.23 +
1.24 + h4 { color: navy;
1.25 + font-family: sans-serif;
1.26 + font-size: 1.4em;
1.27 + }
1.28 +
1.29 + ul { list-style-type: disc;
1.30 + }
1.31 +
1.32 + pre { border: 1pt solid black;
1.33 + padding: 0.5em;
1.34 + background-color: silver;
1.35 + color: black;
1.36 + }
1.37 +
1.38 + .WebStack { border: 1pt solid black;
1.39 + background-color: rgb(224, 224, 224);
1.40 + padding-left: 0.5em;
1.41 + padding-right: 0.5em;
1.42 + }
1.43 +
1.44 + .explanation { border-style: dotted;
1.45 + border-width: 1px;
1.46 + padding: 0.25em;
1.47 + display: block;
1.48 + position: relative;
1.49 + background-color: rgb(255, 255, 153);
1.50 + font-weight: normal;
1.51 + top: 0.5em;
1.52 + left: -1em;
1.53 + }
1.54 +
1.55 + .layers { width: 60%;
1.56 + text-align: center;
1.57 + }
1.58 +
1.59 + .method { border-style: dotted;
1.60 + border-width: 1px;
1.61 + padding: 0.25em;
1.62 + font-weight: normal;
1.63 + display: block;
1.64 + position: relative;
1.65 + background-color: rgb(238, 238, 238);
1.66 + left: 1em;
1.67 + top: 1em;
1.68 + }
1.69 +