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;
19 c145fcd9 2023-03-02 op margin-right: 20px;
22 23971b9c 2023-03-02 op header nav a {
23 c145fcd9 2023-03-02 op text-decoration: none;
26 23971b9c 2023-03-02 op header nav a:hover {
27 c145fcd9 2023-03-02 op text-decoration: underline;
31 b4854863 2022-09-14 op margin: 2rem 0 1rem;
34 b4854863 2022-09-14 op h1 { font-size: 200%; }
35 b4854863 2022-09-14 op h2 { font-size: 160%; }
36 b4854863 2022-09-14 op h3 { font-size: 120%; }
39 b4854863 2022-09-14 op list-style: disclosure-closed;
43 c145fcd9 2023-03-02 op margin: .3rem 0;
47 b4854863 2022-09-14 op font-style: italic;
49 b4854863 2022-09-14 op margin-left: 1.5rem;
50 b4854863 2022-09-14 op position: relative;
53 b4854863 2022-09-14 op blockquote::before {
55 b4854863 2022-09-14 op font-size: 2rem;
56 b4854863 2022-09-14 op position: absolute;
61 e5e3bff3 2023-03-02 op blockquote + blockquote::before {
66 b4854863 2022-09-14 op text-align: justify;
67 b4854863 2022-09-14 op hyphens: auto;
68 b4854863 2022-09-14 op white-space: pre-wrap;
72 b4854863 2022-09-14 op max-width: 90%;
79 b4854863 2022-09-14 op text-align: center;
83 b4854863 2022-09-14 op padding: 0.5rem;
84 f311f3a2 2022-09-29 op font-size: 0.9rem;
88 f311f3a2 2022-09-29 op background-color: #f3f3f3;
90 f311f3a2 2022-09-29 op padding: 1rem;
91 f311f3a2 2022-09-29 op border-radius: 3px;
92 f311f3a2 2022-09-29 op overflow-x: auto;
94 959612cf 2022-09-30 op text-align: left;
95 f311f3a2 2022-09-29 op text-align: initial;
99 b4854863 2022-09-14 op margin-top: 2rem;
100 b4854863 2022-09-14 op text-align: center;
106 b4854863 2022-09-14 op background-color: #222;
108 b4854863 2022-09-14 op margin-bottom: 1rem;
111 b4854863 2022-09-14 op footer dl * {
112 b4854863 2022-09-14 op display: inline;
116 b4854863 2022-09-14 op /* dark theme */
117 b4854863 2022-09-14 op @media (prefers-color-scheme: dark) {
119 b4854863 2022-09-14 op color: #ffffea;
120 b4854863 2022-09-14 op background-color: #383838;
124 b4854863 2022-09-14 op color: #8e8eff;
128 c8e1e044 2022-10-02 op background-color: #111;
132 b4854863 2022-09-14 op background-color: #ffffea;