blob: 0a6cb484825908e781f0255cc257bd6041245e6e [file] [log] [blame]
Nils Diewalda944fab2015-04-08 21:02:04 +00001@charset "utf-8";
Akron7636edf2025-11-04 12:44:53 +01002@use "util";
3@use "base/colors";
4@use "base/lengths";
5@use "base/mixins";
Nils Diewalda944fab2015-04-08 21:02:04 +00006
Nils Diewald652e5f42015-05-10 18:11:45 +00007/**
8 * Media rules for different screen sizes.
9 * This will override some basic rules.
10 */
11
Akron7636edf2025-11-04 12:44:53 +010012lengths.$standard-margin: 4px;
Nils Diewalda944fab2015-04-08 21:02:04 +000013
Akron05238fb2017-06-02 14:29:03 +020014// (orientation: portrait),
15@media all and (max-width: 42.5em) {
Nils Diewald652e5f42015-05-10 18:11:45 +000016 body,
Akron2167ff52018-08-29 18:04:06 +020017 #search > ol,
18 #search div.snippet > span,
Nils Diewald652e5f42015-05-10 18:11:45 +000019 header,
20 header input,
Akron179c8ac2015-06-30 19:30:50 +020021 div#resultinfo,
Nils Diewald652e5f42015-05-10 18:11:45 +000022 #pagination > a {
Nils Diewalda944fab2015-04-08 21:02:04 +000023 font-size: 9pt;
24 }
Nils Diewald652e5f42015-05-10 18:11:45 +000025
Akron2167ff52018-08-29 18:04:06 +020026 header {
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020027 padding-top: 3rem;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020028
29 &.shifted {
30 padding-left: 0;
31 }
Akron6b42c602020-09-08 17:00:13 +020032 }
Akron2167ff52018-08-29 18:04:06 +020033
Nils Diewalda944fab2015-04-08 21:02:04 +000034 header form {
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020035 margin: 1.5rem 1rem;
Nils Diewald652e5f42015-05-10 18:11:45 +000036 padding-left: 0;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020037
38 &#searchform {
39 margin: 2.5rem 1rem 0 1rem;
40 }
41 }
42
43 .navbar {
44 *:not(:first-child) {
45 display: none;
46 }
47
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +010048 a.logo > h1 {
49 margin-left: 0;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020050 }
51
52 .burger-icon {
53 position: relative;
Uyen-Nhu Trana17b08d2025-02-18 19:14:55 +010054 display: none;
Akron7636edf2025-11-04 12:44:53 +010055 width: lengths.$standard-size-and-spacing;
56 height: lengths.$standard-size-and-spacing;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020057 font-size: 1.8rem;
Akron7636edf2025-11-04 12:44:53 +010058 color: colors.$nearly-white;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020059
Uyen-Nhu Trana17b08d2025-02-18 19:14:55 +010060 &.show {
61 display: block;
Akron5f3715c2025-09-23 11:51:06 +020062 cursor: pointer;
Uyen-Nhu Trana17b08d2025-02-18 19:14:55 +010063 }
64
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020065 &::after {
66 position: absolute;
67 top: 2rem;
68 left: 2rem;
69 transform: translate(-50%, -50%);
70 -o-transform: translate(-50%, -50%);
71 -moz-transform: translate(-50%, -50%);
72 -webkit-transform: translate(-50%, -50%);
73 }
74 }
75
76 &.show .burger-icon {
77 position: absolute;
78 top: 0;
79 right: 0;
Akron7636edf2025-11-04 12:44:53 +010080 background-color: colors.$middle-green;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020081 }
82
83 &.show * {
84 display: block;
85 }
86
87 &-group {
Akron7636edf2025-11-04 12:44:53 +010088 margin-top: lengths.$standard-size-and-spacing;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020089 width: 100%;
90 display: block;
91 position: absolute;
92 top: 0;
93 left: 0;
Akron7636edf2025-11-04 12:44:53 +010094 background-color: colors.$middle-green;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +020095
96 fieldset.fieldset-login {
97 display: block !important;
98 margin-right: 0 !important;
99 padding: 1rem;
100
101 form.login {
102 align-items: normal !important;
103 flex-direction: column;
104 gap: 8px;
105
106 input[type=text],
107 input[type=password] {
Akron7636edf2025-11-04 12:44:53 +0100108 @include mixins.input-field;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200109 margin-right: 0 !important;
110 }
111
112 button.btn-login {
113 width: 100% !important;
114 align-self: center;
Akron7636edf2025-11-04 12:44:53 +0100115 background-color: colors.$dark-green !important;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200116
117 &:hover {
Akron7636edf2025-11-04 12:44:53 +0100118 background-color: colors.$middle-green !important;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200119 color: unset !important;
120 }
121 }
122 }
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100123 }
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200124
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100125 h3.nav-link {
126 height: 2rem;
127
128 a {
129 padding: .75rem !important;
130 }
131 }
132
133 p {
134 padding: 1rem 0 0;
135
136 a {
137 display: inline;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200138 }
139 }
140 }
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100141
142 .dropdown {
143 margin-right: 0 !important;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200144
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100145 &-btn {
146 &.login {
147 display: none;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200148
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100149 & + .dropdown-content {
150 margin-top: 0;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200151 }
152 }
153
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100154 &.profile {
155 & + .dropdown-content {
Uyen-Nhu Trana17b08d2025-02-18 19:14:55 +0100156 margin-top: 3.9rem;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200157 }
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100158 }
Uyen-Nhu Trana17b08d2025-02-18 19:14:55 +0100159
160 h3.user-name {
161 max-width: unset;
162 overflow: unset;
163 }
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100164 }
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200165
Uyen-Nhu Trane1eba0c2024-12-10 17:06:39 +0100166 &-content {
167 display: block !important;
168 width: 100% !important;
169
170 form.login {
171 input[type=text],
172 input[type=password] {
173 width: 100%;
174 }
175 }
176
177 p {
178 a {
179 display: inline;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200180 }
181 }
182 }
183 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000184 }
Nils Diewald652e5f42015-05-10 18:11:45 +0000185
Nils Diewalda944fab2015-04-08 21:02:04 +0000186 .vc {
187 font-size: 9pt;
Akron90654812018-08-29 18:57:23 +0200188 .builder {
189 .doc {
190 padding-left: 3em;
191 }
192 * .docGroup {
193 margin-left: 3em;
194 }
Akron451ed5e2018-11-12 10:52:33 +0100195 > .doc {
196 padding-left: .5em;
197 }
198 > .docGroup {
199 margin-left: .5em;
200 }
Akron90654812018-08-29 18:57:23 +0200201 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000202 }
Nils Diewald652e5f42015-05-10 18:11:45 +0000203
Nils Diewalda944fab2015-04-08 21:02:04 +0000204 h1 {
Akrond059ea22021-03-02 15:32:27 +0100205 margin-left: 0px;
Nils Diewalda944fab2015-04-08 21:02:04 +0000206 width: 130px;
207 height: 40px;
Nils Diewald652e5f42015-05-10 18:11:45 +0000208 background: {
209 size: 100%;
210 position: 50% 0;
211 }
Akronbd36c712018-02-15 11:14:23 +0100212 z-index: 110;
Akronc3f063c2021-04-20 14:29:42 +0200213 position: absolute !important;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200214 top: 50%;
215 transform: translateY(-50%);
216 -o-transform: translateY(-50%);;
217 -moz-transform: translateY(-50%);
218 -webkit-transform: translateY(-50%);
Nils Diewalda944fab2015-04-08 21:02:04 +0000219 }
220
221 #searchbar {
222 padding-right: 30px;
Akrond059ea22021-03-02 15:32:27 +0100223 margin-top: 0;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200224 input#q-field {
Nils Diewalda944fab2015-04-08 21:02:04 +0000225 font-size: 9pt;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200226 border-radius: 6px 0 0 6px;
Nils Diewalda944fab2015-04-08 21:02:04 +0000227 }
228 button[type=submit] {
229 right: 0;
230 }
231 }
232
233 .level-1 {
234 padding-bottom: 2px;
235 }
236
237 .level-2 {
238 padding-bottom: 4px;
239 }
240
241 main {
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200242 padding: 1rem;
Akron7636edf2025-11-04 12:44:53 +0100243 margin-left: lengths.$standard-margin;
244 margin-right: lengths.$standard-margin;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200245
246 &.shifted {
Marc Kupietz5eaefea2026-08-03 19:00:23 +0200247 // On mobile the sidebar/logo is not beside the content, so keep the
248 // normal 1rem left padding here (instead of the desktop logo offset)
249 // rather than dropping it to 0 -- otherwise the text is flush to the
250 // left edge and the left/right margins look unbalanced.
251 padding-left: 1rem;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200252 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000253 }
254
Akronb917a7c2015-07-02 11:02:42 +0200255 header .button {
Akron7636edf2025-11-04 12:44:53 +0100256 margin-right: lengths.$standard-margin;
Akron67b51812017-05-01 14:10:55 +0200257 &.top {
258 height: auto;
259 }
Akronb917a7c2015-07-02 11:02:42 +0200260 }
261
Nils Diewalda944fab2015-04-08 21:02:04 +0000262 #search ol {
263 > li:target, > li.active {
264 > div > div.snippet {
Akron67b51812017-05-01 14:10:55 +0200265 margin: 2px 2em 2px 4px;
Nils Diewalda944fab2015-04-08 21:02:04 +0000266 }
267 }
Akron67b51812017-05-01 14:10:55 +0200268 > li div.meta {
269 display: none;
270 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000271 }
272
273 div.matchinfo {
274 font-size: 9pt;
275 }
276
277 div.matchtable tr > * {
278 padding: 1pt 3pt;
279 }
280
Akron8b592d42018-01-26 18:33:06 +0100281 div.matchtree { //, div.metatable {
Nils Diewalda944fab2015-04-08 21:02:04 +0000282 h6 {
283 display: block;
284 float: none;
285 }
Akron8b592d42018-01-26 18:33:06 +0100286 > div { // , > dl {
Nils Diewalda944fab2015-04-08 21:02:04 +0000287 margin-left: 2px;
288 }
289 }
Akrone6be0a82019-03-12 15:24:31 +0100290
Nils Diewalda944fab2015-04-08 21:02:04 +0000291 #logos {
292 margin-left: 0;
293 margin-right: 0;
294
295 > div {
296 border-top-width: 14px;
Akrone6be0a82019-03-12 15:24:31 +0100297 padding-right: 0;
298 .logo > * {
299 background: {
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200300 size: 60%;
301 position: 0 0;
302 }
Akrone6be0a82019-03-12 15:24:31 +0100303 }
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200304 }
305 }
306
307 .logo > * {
308 > div.logoaddon {
Uyen-Nhu Trana7584e12025-06-17 18:45:09 +0200309 // right: -1.2rem;
310 // top: 1.4rem;
311 right: -2.4rem;
312 top: 1.6rem;
Nils Diewalda944fab2015-04-08 21:02:04 +0000313 }
314 }
315
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000316 div.intro {
317 width: 100%;
Nils Diewalda944fab2015-04-08 21:02:04 +0000318 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000319
Akron1120a582017-10-17 12:29:16 +0200320 body.embedded aside > div {
321 top: 0;
322 transform: translateY(0);
323 }
324
Nils Diewald7148c6f2015-05-04 15:07:53 +0000325 aside {
326 &:not(:focus):not(.active) {
Akron7636edf2025-11-04 12:44:53 +0100327 margin-left: -1 * lengths.$logo-left-distance;
Nils Diewald7148c6f2015-05-04 15:07:53 +0000328 &::after {
Akron05238fb2017-06-02 14:29:03 +0200329 font-size: 12pt;
Akron05238fb2017-06-02 14:29:03 +0200330 height: 11pt;
Akron2167ff52018-08-29 18:04:06 +0200331 text-align: right;
332 padding-right: 3pt;
333 padding-top: 2pt;
Nils Diewald7148c6f2015-05-04 15:07:53 +0000334 }
335 }
336 ul {
337 font-size: 9pt;
338 line-height: 1em;
339 }
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200340 // &.active ~ main div.intro,
341 // &.active ~ main.page {
342 // margin-left: $standard-margin !important;
343 // }
Akron4751da62017-06-07 22:37:10 +0200344
345 &.active {
346 position: relative;
347 display: block;
348 padding-top: 0;
349 width: 100%;
350 top: 0;
351 border-width: 0;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200352
Akron4751da62017-06-07 22:37:10 +0200353 fieldset input {
354 font-size: 9pt;
355 }
356 &::after {
357 display: none;
358 }
Akronef6d5f12018-05-28 17:54:58 +0200359 p, hr {
Akron4751da62017-06-07 22:37:10 +0200360 display: none;
361 }
362 }
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200363
364 .nav.nav-doc:first-child {
Akron7636edf2025-11-04 12:44:53 +0100365 margin-top: lengths.$standard-size-and-spacing !important;
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200366 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000367 }
368
Nils Diewalda944fab2015-04-08 21:02:04 +0000369 #tutorial {
370 border-radius: 0;
371 border-width: 0;
372 right: 0;
373 left: 0;
Marc Kupietz5eaefea2026-08-03 19:00:23 +0200374 width: auto;
Nils Diewalda944fab2015-04-08 21:02:04 +0000375 bottom: 0;
376 top: 0;
377 padding: 0;
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000378 iframe {
379 border-radius: 0;
380 }
Akron1120a582017-10-17 12:29:16 +0200381 > ul.action.right {
382 height: 1.5em;
383 right: 20px;
384 border-bottom-left-radius: 5px;
385 border-bottom-right-radius: 5px;
386 }
Nils Diewalda944fab2015-04-08 21:02:04 +0000387 }
Nils Diewaldab4d3ca2015-04-17 01:48:43 +0000388
Uyen-Nhu Tran243fe732024-04-10 01:17:24 +0200389 // main.page {
390 // margin-right: 20px;
391 // }
Akroned280252021-03-15 15:02:41 +0100392
Uyen-Nhu Trane521df02026-04-14 17:28:27 +0200393 p.query.fragment {
394 margin-left: 0;
395 }
396
Akroned280252021-03-15 15:02:41 +0100397 footer {
398 padding-left: 0 !important;
Akronc6c68212025-10-22 14:33:51 +0200399 padding-top: 2rem;
400 flex-direction: column;
401 height: unset;
Akronc84ec1a2024-04-12 13:50:10 +0200402 nav {
403 margin-left: 1em;
404 height: auto;
405 flex-direction: column;
406 div {
407 margin-left: 0;
408 &:after {
409 content: "";
410 }
411 }
412 }
Akroned280252021-03-15 15:02:41 +0100413 }
Akron7e2b8de2018-02-13 18:59:37 +0100414}
415
Akronc84ec1a2024-04-12 13:50:10 +0200416@media all and (max-width: 32em) {
417 footer {
418 padding-top: 1em;
419 height: auto;
420 align-items: flex-start;
421 flex-direction: column;
422 div#logos {
423 margin: auto;
424 }
425 }
426}
Akron7e2b8de2018-02-13 18:59:37 +0100427
428@media print {
429 body, html, select, g > text {
430 color: black;
431 }
432 header, aside {
433 display: none;
434 }
Akronf7ec4442019-10-27 20:01:05 +0100435 main.page {
Akron7e2b8de2018-02-13 18:59:37 +0100436 margin: 1em;
437 }
Akron9490e3b2019-10-17 12:26:29 +0200438 a.embedded-link {
Akron7e2b8de2018-02-13 18:59:37 +0100439 color: black;
440 text-decoration: underline;
441 }
442 pre.query.tutorial {
443 background-color: white;
444 color: black;
445 margin-left: 1em;
446 margin-right: 1em;
447 }
448 blockquote.warning {
449 background-color: grey;
450 color: white;
451 border-left-color: black;
452 border-left-width: 1em;
453 }
Akronc84ec1a2024-04-12 13:50:10 +0200454}