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