2 2ad4a6a2 2022-01-23 op font-family: monospace;
3 2ad4a6a2 2022-01-23 op font-size: 14px;
4 2ad4a6a2 2022-01-23 op max-width: 780px;
5 2ad4a6a2 2022-01-23 op margin: 0 auto;
7 2ad4a6a2 2022-01-23 op padding-bottom: 80px;
11 2ad4a6a2 2022-01-23 op content: "# ";
15 2ad4a6a2 2022-01-23 op margin-top: 40px;
19 2ad4a6a2 2022-01-23 op content: "## ";
23 2ad4a6a2 2022-01-23 op content: "### ";
31 2ad4a6a2 2022-01-23 op blockquote::before {
32 2ad4a6a2 2022-01-23 op content: "> ";
35 2ad4a6a2 2022-01-23 op blockquote p {
36 2ad4a6a2 2022-01-23 op font-style: italic;
37 2ad4a6a2 2022-01-23 op display: inline;
40 2ad4a6a2 2022-01-23 op p.link::before {
41 2ad4a6a2 2022-01-23 op content: "→ ";
44 2ad4a6a2 2022-01-23 op strong::before { content: "*" }
45 2ad4a6a2 2022-01-23 op strong::after { content: "*" }
50 2ad4a6a2 2022-01-23 op background-color: #222;
52 2ad4a6a2 2022-01-23 op display: block;
53 2ad4a6a2 2022-01-23 op margin: 2em auto;
57 2ad4a6a2 2022-01-23 op border-radius: 5px;
61 2ad4a6a2 2022-01-23 op overflow: auto;
62 2ad4a6a2 2022-01-23 op padding: 1rem;
63 2ad4a6a2 2022-01-23 op background-color: #f0f0f0;
64 2ad4a6a2 2022-01-23 op border-radius: 3px;
68 2ad4a6a2 2022-01-23 op display: flex;
69 2ad4a6a2 2022-01-23 op flex-direction: row;
70 2ad4a6a2 2022-01-23 op justify-content: center;
74 2ad4a6a2 2022-01-23 op color: #9d109d;
77 0211eb73 2022-01-23 op ul.link-list {
78 0211eb73 2022-01-23 op list-style: disclosure-closed;
82 2ad4a6a2 2022-01-23 op display: block;
83 2ad4a6a2 2022-01-23 op margin: 0 auto;
84 2ad4a6a2 2022-01-23 op max-width: 100%;
87 2ad4a6a2 2022-01-23 op @media (prefers-color-scheme: dark) {
89 2ad4a6a2 2022-01-23 op background-color: #222;
98 2ad4a6a2 2022-01-23 op background-color: #ddd;
102 2ad4a6a2 2022-01-23 op background-color: #353535;
106 2ad4a6a2 2022-01-23 op color: #ff4cff;
110 2ad4a6a2 2022-01-23 op @media (max-width: 400px) {
111 2ad4a6a2 2022-01-23 op pre.banner { font-size: 9px; }
114 2ad4a6a2 2022-01-23 op @media (max-width: 500px) {
115 2ad4a6a2 2022-01-23 op pre.banner { font-size: 10px; }