1html {
2 scroll-behavior: smooth;
3 padding: 0 15px;
4}
5body {
6 font-family: Heliotrope;
7 color: $dark;
8 background: $light;
9}
10details {
11 margin-left: 3.5%;
12}
13summary {
14 padding: 0 10px;
15 a {
16 color: $dark;
17 }
18 a:visited {
19 color: $dark;
20 }
21}
22summary:hover {
23 cursor: pointer;
24 background-color: #ddd;
25 border-radius: 7px;
26}
27.admonition {
28 margin: 15px -12px;
29 padding: 5px 10px;
30 border: 2px solid;
31 border-radius: 7px;
32 p {
33 margin: 0;
34 }
35
36 &.note {
37 border-color: #b3d1f3;
38 background-color: #e5f1ff;
39 }
40 &.tip {
41 border-color: #b3f3d1;
42 background-color: #e5fff1;
43 }
44 &.warn {
45 border-color: #f3d1b3;
46 background-color: #fff0ce;
47 }
48 &.err {
49 border-color: #f3b3b3;
50 background-color: #ffe5e5;
51 }
52}
53blockquote {
54 margin: 15px -19px;
55 padding: 0 15px;
56 border-left: 3px solid $dark;
57 border-radius: 7px;
58 color: $dark;
59 background: #f7f7f7;
60 p {
61 margin: 0;
62 }
63}
64.content > ul, #TableOfContents > ul, .content > ol, #TableOfContents > ol {
65 padding-left: 1em;
66}
67ul, ol > ul, ol {
68 padding-left: 1.1em;
69}
70hr {
71 margin: 15px 0;
72 border: 1px solid $dark;
73}
74code {
75 background: $button-background;
76 border-radius: 3px;
77 padding: 0 4px;
78}
79pre {
80 margin: 15px -12px;
81 border: 2px solid unset;
82 border-radius: 7px;
83}
84code, pre {
85 font-size: 16px;
86 font-family: Consolas, Menlo, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
87 color: $dark;
88}
89input {
90 font-family: inherit;
91 text-align: center;
92 width: 100%;
93 height: 35px;
94 box-sizing: border-box;
95 box-shadow: 0 1px 1px rgba(12, 13, 14, 0.15), inset 0 1px 0 0 #fff;
96 transition: 0.15s ease-out;
97}
98input[type="text"] {
99 font-size: inherit;
100 color: $dark;
101 text-decoration: italic;
102 border: 1px solid #9fa6ad;
103 border-radius: 3px;
104}
105input[type="text"]:focus {
106}
107.wrapper {
108 max-width: 600px;
109 margin: 0 auto;
110 font-size: 18px;
111 line-height: 30px;
112 overflow-wrap: break-word;
113 word-wrap: break-word;
114 word-break: break-word;
115 -moz-hyphens: auto;
116 hyphens: auto;
117 text-align: left;
118}
119
120.content {
121 h2, p, li, td {
122 a:not(.button) {
123 color: $dark;
124 text-decoration: none;
125 background-image: linear-gradient(
126 120deg,
127 $gradient-right 0%,
128 $gradient-left 100%
129 );
130 background-repeat: no-repeat;
131 background-size: 0 0;
132 background-position: 100% 21%;
133 transition: 0.15s ease-out;
134 &:hover {
135 background-size: 100% 100%;
136 color: $light;
137 &:after {
138 color: $gradient-right;
139 }
140 }
141 &::after {
142 position: relative;
143 content: "\FEFF°";
144 margin-left: 0.1em;
145 font-size: 90%;
146 top: -0.1em;
147 color: $light-highlight;
148 font-feature-settings: "caps";
149 font-variant-numeric: normal;
150 }
151 }
152 }
153 .anchor-tag {
154 font-size: 70%;
155 position: relative;
156 bottom: 2.6px;
157 background-size: 100% 0;
158 background-position: 0 150%;
159 &::after {
160 content: "";
161 }
162 }
163 .footnote-ref {
164 background-size: 100% 1.5px;
165 background-position: 0 90%;
166 &::after {
167 content: "";
168 }
169 &:hover {
170 background-size: 100% 100%;
171 color: #fff;
172 }
173 }
174 .footnote-backref {
175 background-size: 100% 1.5px;
176 background-position: 0 90%;
177 &::after {
178 content: "";
179 }
180 &:hover {
181 background-size: 100% 100%;
182 color: #fff;
183 }
184 }
185 .highlight {
186 code {
187 padding: 0px !important;
188 }
189 pre {
190 overflow: auto;
191 border-radius: 5px;
192 padding: 12px;
193 background: $button-background !important;
194 }
195 a {
196 background-image: none;
197 &::after {
198 content: "";
199 }
200 }
201 }
202}
203
204.button {
205 font-family: inherit;
206 font-style: normal !important;
207 text-decoration: none !important;
208 height: 25px;
209 box-shadow: 0 1px 1px rgba(12, 13, 14, 0.15), inset 0 1px 0 0 #fff;
210 display: inline-block;
211 color: $dark;
212 text-shadow: 0 1px 0 #fff;
213 background-color: #e4e6e8;
214 border: 1px solid #9fa6ad;
215 border-radius: 3px;
216 padding: 0px 4px 4px;
217}
218
219footer {
220 padding: 20px 0 20px 0;
221 text-align: center;
222 line-height: 30px;
223 margin-top: auto;
224 margin-bottom: 25px;
225 a {
226 color: $dark;
227 }
228 a:visited {
229 color: $dark;
230 }
231 .ring {
232 font-size: 20px;
233 }
234 .boring_stuff {
235 font-style: italic;
236 }
237}
238
239.tags {
240 display: flex;
241 flex-direction: row;
242 flex-wrap: wrap;
243 gap: 5px;
244 margin: 10px 0px 13px 0px !important;
245}