style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

@font-face {
    font-family: Noto Sans Mono;
    src: url(font.ttf);
}

* {
    font-family: Noto Sans Mono;
}

@media screen and (max-width: 700px) {
    * {
        font-size: small;
    }
}

@media screen and (min-width: 700px) {
    * {
        font-size: x-large;
    }
}

@media (prefers-color-scheme: dark) {
    body {
        color: #a7a7a7;
        background: #1e1e1e;
    }
}

@media (prefers-color-scheme: light) {
    body {
        color: #464b50;
        background: #ffffff;
    }
}

a,
.copy {
    cursor: pointer;
    text-decoration: underline;
    color: #7587a6;
}

a:active,
.copy:active {
    cursor: pointer;
    text-decoration: underline;
    color: #9b859d;
}