doc/doc.css

Sun, 19 Nov 2017 20:06:07 +0100

author
Kim Alvefur <zash@zash.se>
date
Sun, 19 Nov 2017 20:06:07 +0100
changeset 26
a8caec6c5429
parent 24
0d7de9d0878b
permissions
-rw-r--r--

Keep callbacks in an uservalue instead of by reference

24
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
1 body {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
2 margin-left: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
3 margin-right: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
4 font-family: arial, helvetica, geneva, sans-serif;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
5 background-color:#ffffff; margin:0px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
6 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
7
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
8 code {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
9 font-family: "Andale Mono", monospace;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
10 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
11
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
12 tt {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
13 font-family: "Andale Mono", monospace;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
14 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
15
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
16 body, td, th { font-size: 11pt; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
17
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
18 h1, h2, h3, h4 { margin-left: 0em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
19
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
20 textarea, pre, tt { font-size:10pt; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
21 body, td, th { color:#000000; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
22 small { font-size:0.85em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
23 h1 { font-size:1.5em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
24 h2 { font-size:1.25em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
25 h3 { font-size:1.15em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
26 h4 { font-size:1.06em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
27
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
28 a:link { font-weight:bold; color: #004080; text-decoration: none; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
29 a:visited { font-weight:bold; color: #006699; text-decoration: none; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
30 a:link:hover { text-decoration:underline; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
31 hr { color:#cccccc }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
32 img { border-width: 0px; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
33
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
34
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
35 h3 { padding-top: 1em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
36
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
37 p { margin-left: 1em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
38
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
39 p.name {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
40 font-family: "Andale Mono", monospace;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
41 padding-top: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
42 margin-left: 0em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
43 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
44
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
45 blockquote { margin-left: 3em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
46
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
47 .example {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
48 background-color: rgb(245, 245, 245);
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
49 border-top-width: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
50 border-right-width: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
51 border-bottom-width: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
52 border-left-width: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
53 border-top-style: solid;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
54 border-right-style: solid;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
55 border-bottom-style: solid;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
56 border-left-style: solid;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
57 border-top-color: silver;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
58 border-right-color: silver;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
59 border-bottom-color: silver;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
60 border-left-color: silver;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
61 padding: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
62 margin-left: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
63 margin-right: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
64 font-family: "Andale Mono", monospace;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
65 font-size: smaller;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
66 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
67
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
68
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
69 hr {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
70 margin-left: 0em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
71 background: #00007f;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
72 border: 0px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
73 height: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
74 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
75
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
76 ul { list-style-type: disc; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
77
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
78 table.index { border: 1px #00007f; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
79 table.index td { text-align: left; vertical-align: top; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
80 table.index ul { padding-top: 0em; margin-top: 0em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
81
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
82 table {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
83 border: 1px solid black;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
84 border-collapse: collapse;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
85 margin-left: auto;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
86 margin-right: auto;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
87 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
88 th {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
89 border: 1px solid black;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
90 padding: 0.5em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
91 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
92 td {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
93 border: 1px solid black;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
94 padding: 0.5em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
95 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
96 div.header, div.footer { margin-left: 0em; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
97
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
98 #container
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
99 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
100 margin-left: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
101 margin-right: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
102 background-color: #f0f0f0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
103 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
104
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
105 #product
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
106 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
107 text-align: center;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
108 border-bottom: 1px solid #cccccc;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
109 background-color: #ffffff;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
110 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
111
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
112 #product big {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
113 font-size: 2em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
114 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
115
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
116 #product_logo
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
117 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
118 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
119
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
120 #product_name
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
121 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
122 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
123
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
124 #product_description
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
125 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
126 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
127
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
128 #main
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
129 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
130 background-color: #f0f0f0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
131 border-left: 2px solid #cccccc;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
132 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
133
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
134 #navigation
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
135 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
136 float: left;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
137 width: 12em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
138 margin: 0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
139 vertical-align: top;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
140 background-color: #f0f0f0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
141 overflow:visible;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
142 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
143
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
144 #navigation h1 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
145 background-color:#e7e7e7;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
146 font-size:1.1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
147 color:#000000;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
148 text-align:left;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
149 margin:0px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
150 padding:0.2em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
151 border-top:1px solid #dddddd;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
152 border-bottom:1px solid #dddddd;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
153 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
154
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
155 #navigation ul
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
156 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
157 font-size:1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
158 list-style-type: none;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
159 padding: 0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
160 margin: 1px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
161 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
162
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
163 #navigation li
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
164 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
165 text-indent: -1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
166 margin: 0em 0em 0em 0.5em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
167 display: block;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
168 padding: 3px 0px 0px 12px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
169 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
170
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
171 #navigation li li a
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
172 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
173 padding: 0px 3px 0px -1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
174 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
175
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
176 #content
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
177 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
178 margin-left: 12em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
179 padding: 1em;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
180 border-left: 2px solid #cccccc;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
181 border-right: 2px solid #cccccc;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
182 background-color: #ffffff;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
183 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
184
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
185 #about
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
186 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
187 clear: both;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
188 margin: 0;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
189 padding: 5px;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
190 border-top: 2px solid #cccccc;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
191 background-color: #ffffff;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
192 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
193
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
194 @media print {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
195 body {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
196 font: 10pt "Times New Roman", "TimeNR", Times, serif;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
197 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
198 a { font-weight:bold; color: #004080; text-decoration: underline; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
199
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
200 #main { background-color: #ffffff; border-left: 0px; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
201 #container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
202
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
203 #content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
204
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
205 #navigation { display: none;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
206 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
207
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
208 #product_logo
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
209 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
210 display: none;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
211 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
212
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
213 #about img
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
214 {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
215 display: none;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
216 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
217
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
218 .example {
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
219 font-family: "Andale Mono", monospace;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
220 font-size: 8pt;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
221 page-break-inside: avoid;
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
222 }
0d7de9d0878b Update HTML to reference a local doc.css, and remove W3C-hosted images (a potential privacy leak)
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
223 }

mercurial