3 b4854863 2022-09-14 op background-color: #fefefe;
5 f311f3a2 2022-09-29 op max-width: 670px;
6 b4854863 2022-09-14 op margin: 0 auto;
10 7f93d4d1 2023-03-23 op overflow-wrap: anywhere;
13 9707cd87 2023-03-02 op header nav ul {
14 c145fcd9 2023-03-02 op list-style: none;
19 9707cd87 2023-03-02 op header nav ul li {
20 c145fcd9 2023-03-02 op display: inline-block;
22 ceba53a6 2023-03-02 op padding: 0 10px;
25 23971b9c 2023-03-02 op header nav a {
26 c145fcd9 2023-03-02 op text-decoration: none;
29 23971b9c 2023-03-02 op header nav a:hover {
30 c145fcd9 2023-03-02 op text-decoration: underline;
34 b4854863 2022-09-14 op margin: 2rem 0 1rem;
37 b4854863 2022-09-14 op h1 { font-size: 200%; }
38 b4854863 2022-09-14 op h2 { font-size: 160%; }
39 b4854863 2022-09-14 op h3 { font-size: 120%; }
42 b4854863 2022-09-14 op list-style: disclosure-closed;
46 c145fcd9 2023-03-02 op margin: .3rem 0;
50 b4854863 2022-09-14 op font-style: italic;
52 b4854863 2022-09-14 op margin-left: 1.5rem;
53 b4854863 2022-09-14 op position: relative;
56 b4854863 2022-09-14 op blockquote::before {
58 b4854863 2022-09-14 op font-size: 2rem;
59 b4854863 2022-09-14 op position: absolute;
64 e5e3bff3 2023-03-02 op blockquote + blockquote::before {
69 b4854863 2022-09-14 op text-align: justify;
70 b4854863 2022-09-14 op hyphens: auto;
71 b4854863 2022-09-14 op white-space: pre-wrap;
75 b4854863 2022-09-14 op max-width: 90%;
82 b4854863 2022-09-14 op text-align: center;
86 b4854863 2022-09-14 op padding: 0.5rem;
87 f311f3a2 2022-09-29 op font-size: 0.9rem;
91 f311f3a2 2022-09-29 op background-color: #f3f3f3;
93 f311f3a2 2022-09-29 op padding: 1rem;
94 f311f3a2 2022-09-29 op border-radius: 3px;
95 f311f3a2 2022-09-29 op overflow-x: auto;
97 959612cf 2022-09-30 op text-align: left;
98 f311f3a2 2022-09-29 op text-align: initial;
102 b4854863 2022-09-14 op margin-top: 2rem;
103 b4854863 2022-09-14 op text-align: center;
109 b4854863 2022-09-14 op background-color: #222;
111 b4854863 2022-09-14 op margin-bottom: 1rem;
114 b4854863 2022-09-14 op footer dl * {
115 b4854863 2022-09-14 op display: inline;
119 b4854863 2022-09-14 op /* dark theme */
120 b4854863 2022-09-14 op @media (prefers-color-scheme: dark) {
122 b4854863 2022-09-14 op color: #ffffea;
123 b4854863 2022-09-14 op background-color: #383838;
127 b4854863 2022-09-14 op color: #8e8eff;
131 c8e1e044 2022-10-02 op background-color: #111;
135 b4854863 2022-09-14 op background-color: #ffffea;