Mercurial Hosting > luan

annotate website/src/site.css @ 1818:d3e6c7f64559 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
docs - Math
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 16 Jun 2024 20:26:12 -0600
parents f44dcb3fedf7
children
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%;
1747
Franklin Schmidt <fschmidt@gmail.com>
parents: 1660
diff changeset
21 display: flex;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1660
diff changeset
22 justify-content: space-between;
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
23 }
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
24
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
25 [content] {
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
26 margin-left: 3%;
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
27 margin-right: 3%;
1660
2968e43cdd44 manual work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1655
diff changeset
28 margin-bottom: 2em;
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
29 }
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1579
diff changeset
30
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 [small] {
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 font-size: small;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 }
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34
1654
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
35 ul[links] {
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
36 margin-top: 32px;
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
37 list-style-type: none;
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
38 padding-left: 0;
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
39 }
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1653
diff changeset
40 ul[links] li {
1655
Franklin Schmidt <fschmidt@gmail.com>
parents: 1654
diff changeset
41 margin: 12px 0;
1323
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
42 }
3860ed4b8552 simplify website css
Franklin Schmidt <fschmidt@gmail.com>
parents: 642
diff changeset
43
1653
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
44 div[toc] ul {
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
45 list-style-type: none;
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
46 }
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
47 div[toc] > ul {
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
48 padding-left: 0;
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 }
1653
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
50 div[toc] > ul > li {
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
51 margin-bottom: 16px;
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
52 }
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
53 div[heading] {
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
54 display: flex;
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
55 justify-content: space-between;
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
56 margin-top: 36px;
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
57 }
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
58 div[heading] > * {
562
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 margin: 0;
7cc9d4a53d3b remove SimplyHTML from documentation
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 }
1653
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
61 div[heading] > a {
418b610e887b docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
62 font-size: 14px;
642
c4216a583de4 add links to functions in manual
Franklin Schmidt <fschmidt@gmail.com>
parents: 565
diff changeset
63 }
565
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
64
1812
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
65 h4 {
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
66 font-size: 1.1em;
565
22bfd8a2eaee do Table documentation;
Franklin Schmidt <fschmidt@gmail.com>
parents: 562
diff changeset
67 }
1579
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
68
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
69 div[footer] {
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
70 margin-top: 32px;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
71 font-size: small;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
72 }
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
73 div[footer] img {
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
74 height: 1em;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
75 vertical-align: top;
dd881eb03d87 yourkit link
Franklin Schmidt <fschmidt@gmail.com>
parents: 1327
diff changeset
76 }
1812
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
77
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
78 code {
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
79 font-size: 16px;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
80 font-weight: bold;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
81 }
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
82 code[block] {
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
83 font-size: initial;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
84 font-weight: initial;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
85 background-color: #DDD;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
86 padding: 2px;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
87 white-space: pre-wrap;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
88 word-wrap: break-word;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
89 display: block;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
90 padding: 1em;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
91 margin-top: 1em;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
92 margin-bottom: 1em;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
93 }
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
94 code[block]:first-line {
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
95 line-height: 0;
f44dcb3fedf7 docs - add code block
Franklin Schmidt <fschmidt@gmail.com>
parents: 1747
diff changeset
96 }