static/main.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

h1,h2,h3,h4 {
    text-align: center;
    margin: 0.5em auto;
}
body {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    font-family: Courier, Monospace;
    word-wrap: normal;
}
/* some Stallman trickery for making mobile text bigger */
@media screen and (max-device-width: 480px) {
    body {
        font-size: 200%
    }
    .license {
        font-size: 75%;
    }
}
.navbar {
    text-align: center;
    max-width: 1000px;
    display: block;
}
.content {
    text-align: justify;
    max-width: 500px;
    display: inline-block;
}
.license {
    font-size: 65%;
    text-align: center;
    max-width: 350px;
    display: block;
}
p {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
}

table {
    border-spacing: 0 10px;
}
td {
    text-align: left
}