annotate src/site.css @ 68:32be9862e1cc default tip

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