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;
10 2ad4a6a2 2022-01-23 op content: "# ";
14 2ad4a6a2 2022-01-23 op margin-top: 40px;
18 2ad4a6a2 2022-01-23 op content: "## ";
22 2ad4a6a2 2022-01-23 op content: "### ";
30 2ad4a6a2 2022-01-23 op blockquote::before {
31 2ad4a6a2 2022-01-23 op content: "> ";
34 2ad4a6a2 2022-01-23 op blockquote p {
35 2ad4a6a2 2022-01-23 op font-style: italic;
36 2ad4a6a2 2022-01-23 op display: inline;
39 2ad4a6a2 2022-01-23 op p.link::before {
40 2ad4a6a2 2022-01-23 op content: "→ ";
43 2ad4a6a2 2022-01-23 op strong::before { content: "*" }
44 2ad4a6a2 2022-01-23 op strong::after { content: "*" }
49 2ad4a6a2 2022-01-23 op background-color: #222;
51 2ad4a6a2 2022-01-23 op display: block;
52 2ad4a6a2 2022-01-23 op margin: 2em auto;
57 be734542 2022-02-12 op display: inline-block;
60 be734542 2022-02-12 op section.with-image {
63 be734542 2022-02-12 op @media only screen and (min-width: 768px) {
64 be734542 2022-02-12 op section.with-image {
65 be734542 2022-02-12 op display: flex;
66 be734542 2022-02-12 op flex-direction: row;
70 be734542 2022-02-12 op section.with-image img {
71 be734542 2022-02-12 op object-fit: contain;
74 be734542 2022-02-12 op section.with-image div {
75 be734542 2022-02-12 op overflow: auto;
79 2ad4a6a2 2022-01-23 op overflow: auto;
80 2ad4a6a2 2022-01-23 op padding: 1rem;
81 2ad4a6a2 2022-01-23 op background-color: #f0f0f0;
82 2ad4a6a2 2022-01-23 op border-radius: 3px;
86 2ad4a6a2 2022-01-23 op display: flex;
87 2ad4a6a2 2022-01-23 op flex-direction: row;
88 2ad4a6a2 2022-01-23 op justify-content: center;
92 2ad4a6a2 2022-01-23 op color: #9d109d;
95 0211eb73 2022-01-23 op ul.link-list {
96 0211eb73 2022-01-23 op list-style: disclosure-closed;
100 9ec2542e 2022-02-10 op margin-top: 4rem;
101 9ec2542e 2022-02-10 op font-size: 0.8rem;
102 9ec2542e 2022-02-10 op border-top: 1px solid;
105 2ad4a6a2 2022-01-23 op @media (prefers-color-scheme: dark) {
107 2ad4a6a2 2022-01-23 op background-color: #222;
108 2ad4a6a2 2022-01-23 op color: white;
116 2ad4a6a2 2022-01-23 op background-color: #ddd;
120 2ad4a6a2 2022-01-23 op background-color: #353535;
124 2ad4a6a2 2022-01-23 op color: #ff4cff;
128 be734542 2022-02-12 op opacity: 0.8;
129 be734542 2022-02-12 op transition: opacity .2s ease-in-out;
137 2ad4a6a2 2022-01-23 op @media (max-width: 400px) {
138 2ad4a6a2 2022-01-23 op pre.banner { font-size: 9px; }
141 2ad4a6a2 2022-01-23 op @media (max-width: 500px) {
142 2ad4a6a2 2022-01-23 op pre.banner { font-size: 10px; }