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;
11 9707cd87 2023-03-02 op header nav ul {
12 c145fcd9 2023-03-02 op list-style: none;
17 9707cd87 2023-03-02 op header nav ul li {
18 c145fcd9 2023-03-02 op display: inline-block;
20 ceba53a6 2023-03-02 op padding: 0 10px;
23 23971b9c 2023-03-02 op header nav a {
24 c145fcd9 2023-03-02 op text-decoration: none;
27 23971b9c 2023-03-02 op header nav a:hover {
28 c145fcd9 2023-03-02 op text-decoration: underline;
32 b4854863 2022-09-14 op margin: 2rem 0 1rem;
35 b4854863 2022-09-14 op h1 { font-size: 200%; }
36 b4854863 2022-09-14 op h2 { font-size: 160%; }
37 b4854863 2022-09-14 op h3 { font-size: 120%; }
40 b4854863 2022-09-14 op list-style: disclosure-closed;
44 c145fcd9 2023-03-02 op margin: .3rem 0;
48 b4854863 2022-09-14 op font-style: italic;
50 b4854863 2022-09-14 op margin-left: 1.5rem;
51 b4854863 2022-09-14 op position: relative;
54 b4854863 2022-09-14 op blockquote::before {
56 b4854863 2022-09-14 op font-size: 2rem;
57 b4854863 2022-09-14 op position: absolute;
62 e5e3bff3 2023-03-02 op blockquote + blockquote::before {
67 b4854863 2022-09-14 op text-align: justify;
68 b4854863 2022-09-14 op hyphens: auto;
69 b4854863 2022-09-14 op white-space: pre-wrap;
73 b4854863 2022-09-14 op max-width: 90%;
80 b4854863 2022-09-14 op text-align: center;
84 b4854863 2022-09-14 op padding: 0.5rem;
85 f311f3a2 2022-09-29 op font-size: 0.9rem;
89 f311f3a2 2022-09-29 op background-color: #f3f3f3;
91 f311f3a2 2022-09-29 op padding: 1rem;
92 f311f3a2 2022-09-29 op border-radius: 3px;
93 f311f3a2 2022-09-29 op overflow-x: auto;
95 959612cf 2022-09-30 op text-align: left;
96 f311f3a2 2022-09-29 op text-align: initial;
100 b4854863 2022-09-14 op margin-top: 2rem;
101 b4854863 2022-09-14 op text-align: center;
107 b4854863 2022-09-14 op background-color: #222;
109 b4854863 2022-09-14 op margin-bottom: 1rem;
112 b4854863 2022-09-14 op footer dl * {
113 b4854863 2022-09-14 op display: inline;
117 b4854863 2022-09-14 op /* dark theme */
118 b4854863 2022-09-14 op @media (prefers-color-scheme: dark) {
120 b4854863 2022-09-14 op color: #ffffea;
121 b4854863 2022-09-14 op background-color: #383838;
125 b4854863 2022-09-14 op color: #8e8eff;
129 c8e1e044 2022-10-02 op background-color: #111;
133 b4854863 2022-09-14 op background-color: #ffffea;