annotate website/src/site.css @ 1652:d5779a264a4a

docs work
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 31 Mar 2022 19:04:59 -0600
parents 5b8f056527a3
children 418b610e887b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
1 * {
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
2 box-sizing: border-box;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
3 }
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 body {
1323
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
6 font-family: sans-serif;
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
7 margin: 0;
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 a[href] {
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 text-decoration: inherit;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 a[href]:hover {
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 text-decoration: underline;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
17 div[header] {
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
18 font-size: 14px;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
19 background-color: #ddd;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
20 padding: 8px 3%;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
21 }
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
22
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
23 [content] {
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
24 margin-left: 3%;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
25 margin-right: 3%;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
26 }
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
27
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 [small] {
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 font-size: small;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31
1323
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
32 div[link] {
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
33 margin: 0.5em 0;
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
34 }
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
35
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 div[contents] {
1323
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
38 margin-bottom: 1em;
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 ul {
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 margin: 0;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 [heading] {
1323
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
44 margin-top: 2em;
642
c4216a583de4 add links to functions in manual
Franklin Schmidt <fschmidt@gmail.com>
parents: 565
diff changeset
45 }
565
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
46
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
47 h4 code {
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
48 font-size: 1.4em;
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
49 }
1579
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
50
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
51 div[footer] {
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
52 margin-top: 32px;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
53 font-size: small;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
54 }
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
55 div[footer] img {
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
56 height: 1em;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
57 vertical-align: top;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
58 }