annotate src/site.css @ 5:a92469256370

add should
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 13 Sep 2025 11:31:38 -0600
parents 5419663ca6ca
children a94c1043ce05
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 * {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 box-sizing: border-box;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 body {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 font-family: Sans-Serif;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 margin: 0;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 a {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 text-decoration: none;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 a:hover {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 text-decoration: underline;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 div[header] {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 font-size: 14px;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 background-color: #ddd;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 padding: 8px 3%;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 display: flex;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 justify-content: space-between;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 [content] {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 margin-left: 3%;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 margin-right: 3%;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 margin-bottom: 2em;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 ul[links] {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 margin-top: 32px;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 list-style-type: none;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 padding-left: 0;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 ul[links] li {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 margin: 12px 0;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 input[type="radio"],
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 input[type="submit"],
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 [clickable] {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 cursor: pointer;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 div[toc] ul {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 list-style-type: none;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 div[toc] > ul {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 padding-left: 0;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 div[toc] > ul > li {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 margin-bottom: 16px;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 div[heading] {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 display: flex;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 justify-content: space-between;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 margin-top: 36px;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 div[heading] > * {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 margin: 0;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 }
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 div[heading] > a {
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 font-size: 14px;
45a3989c3447 start public repo
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 }
1
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
67
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
68 code {
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
69 background-color: #DDD;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
70 white-space: pre-wrap;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
71 word-wrap: break-word;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
72 padding: 2px;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
73 }
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
74 code[block] {
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
75 display: block;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
76 padding: 1em;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
77 margin-top: 1em;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
78 margin-bottom: 1em;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
79 }
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
80 code[block]:first-line {
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
81 line-height: 0;
5419663ca6ca add this.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
82 }