static/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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136

@font-face {
    font-family: Ubuntu;
    src: url(/Ubuntu-R.ttf);
}

@font-face {
    font-family: Genos-divoc;
    src: url(/Genos-VariableFont_wght.ttf);
}

body {
    background-color: #57c0a2;
    font-family: Ubuntu, sans-serif;
}

.btn {
    margin-left: 1em;
    font-family: Ubuntu;
}

.main-content {
    padding: 2em;
    border-radius: 1em;
    margin: auto;
    margin-top: 10em;
    margin-bottom: 5em;
    max-width: 50em;
    background-color: #ffebd8;
}

a {
    color: black;
}

#exitGraph {
    width: 100%;
    height: 20em;
    overflow: hidden;
    background-color: white;
    border-radius: 0.5em;
    margin-bottom: 0.5em;
}
svg {
    overflow: visible !important;
    fill: black;
}

svg > g > polygon {
    stroke: none !important;
}

ellipse, polygon, path {
    stroke: black;
}
ellipse {
    fill: white;
}
@media (prefers-color-scheme: dark) {
    svg {
        overflow: visible !important;
        fill: white;
    }

    svg > g > polygon {
        stroke: none !important;
        fill: black
    }

    ellipse {
        fill: black;
    }
    ellipse, polygon, path {
        stroke: #a74db7;
    }
    polygon {
        fill: #a74db7;
    }
    #exitGraph {
        background-color: black;
    }
}

h1,h2,h3 {
    font-family: Genos-divoc, sans-serif;
    font-weight: 600;
}
h1 {
    font-size: 5rem;
}
h2 {
    font-size: 3.7rem;
}
h3 {
    font-size: 2rem;
}
h4{
    color: #9945c5;
}

.badge-info {
    background-color: #62c1a6;
    color: black;
}

.badge-warning {
    background-color: #fdbe4b;
    color: black;
}

.badge-danger {
    background-color: #ea4a72;
    color: black;
}

.text-muted {
    color: #9945c5 !important;
}

@media (prefers-color-scheme: dark) {
    body {
        background-color: #0e0e0f;
    }
    .main-content {
        background-color: #241b2b;
        color: #ffebd8;
    }

    .text-muted {
        color: #fdbe4b !important;
    }
    h4 {
        color: #ffebd8;
    }
}