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

@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;
  color: #7587a6;
}

a:active,
.copy:hover {
  cursor: pointer;
  color: #9b859d;
}