1@font-face {
2  font-family: 'PressStart';
3  src: url('/fonts/PressStart2P/PressStart2P-Regular.ttf');
4  size-adjust: 65%;
5}
6@font-face {
7  font-family: 'BigBlueTerminal';
8  src: url('/fonts/BigBlueTerminal/BigBlue_TerminalPlus.TTF');
9}
10@font-face {
11  font-family: 'x3270';
12  src: url('/fonts/3270/3270-Regular.ttf');
13}
14@font-face {
15  font-family: 'galactico';
16  src: url('/fonts/galactico/Galactico-Basic.otf');
17}
18@font-face {
19  font-family: 'CutiePi';
20  src: url('/fonts/CutiePi/Cute_Aurora_demo.ttf');
21  size-adjust: 120%;
22}
23@font-face {
24  font-family: 'JetBrains';
25  src: url('/fonts/JetBrains/JetBrainsMono.woff2');
26}
27@font-face {
28  font-family: 'Monocraft';
29  src: url('/fonts/Monocraft/Monocraft.ttf');
30  size-adjust: 90%;
31}
32@font-face {
33  font-family: 'Hack';
34  src: url('/fonts/Hack/Hack-Regular.ttf');
35}
36@font-face {
37  font-family: 'we-come-in-peace';
38  src: url('/fonts/we-come-in-peace/we-come-in-peace-bb.regular.ttf');
39}
40@font-face {
41  font-family: 'FiraCode';
42  src: url('/fonts/FiraCode/FiraCode-Regular.ttf');
43}
44@font-face {
45  font-family: 'FiraCode-SemiBold';
46  src: url('/fonts/FiraCode/FiraCode-SemiBold.ttf');
47}
48@font-face {
49  font-family: 'teletext';
50  src: url('/fonts/teletext/EuropeanTeletext.ttf');
51  size-adjust: 90%;
52}
53@font-face {
54  font-family: 'tic80';
55  src: url('/fonts/tic80/tic-80-wide-font.otf');
56  size-adjust: 60%;
57}
58@font-face {
59  font-family: 'mode7';
60  src: url('/fonts/mode7/MODE7GX3.TTF');
61  size-adjust: 82%;
62}
63
64.prose > h1:not(:first-child) {
65  margin-top: 30px;
66}
67:root {
68  --app-height: 100vh;
69  --app-width: 100vw;
70}
71
72#console-tab {
73  font-family: BigBlueTerminal, monospace;
74}