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
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

h1,h2,h3,h4 {
    text-align: center;
    margin: 0.25em auto;
    white-space: normal;
}
h3,h4 {
    text-align: justify;
    margin: 0.25em auto;
}
/* class to optionally center h3 when we want it */
h3.center {
    text-align: center;
}
h1 {
    font-size: 200%;
    color: #000000;
}
h2 {
    font-size: 175%;
    color: #404040;
}
h3 {
    font-size: 150%;
    color: #808080;
}
h4 {
    font-size: 125%;
    color: #bfbfbf;
}
body {
    margin: 0 auto;
    text-align: center;
    font-family: Courier, Monospace;
    word-wrap: normal;
    white-space: normal;
    font-size: 120%;
}

.navbar {
    text-align: center;
    max-width: 95%;
    display: block;
}
.content {
    text-align: justify;
    max-width: 85%;
    display: inline-block;
}
.license {
    font-size: 50%;
    text-align: center;
    max-width: 35%;
    display: block;
}
/* Use for long text which doesnt wrap nicely */
.long {
    word-wrap: break-word;
}
p {
    margin-top: 1.5%;
    margin-bottom: 1.5%;
}
small {
    font-size: 75%;
}
code {
    display: inline-block;
    font-size: 125%;
    background-color: #d8d8d8;
    white-space: pre-wrap;
    word-wrap: break-all;
}
table {
    border-spacing: 0 10px;
}
td {
    text-align: left
}
img {
    max-width: 100%;
    height: auto;
    width: auto;
}
/*mobile*/
@media screen and (max-device-width: 480px) {
        body {
        max-width: 100%;
        font-size: 90%;
        }
        .license {
        font-size: 0;
        }
        p {
        margin-top: 5%;
        margin-bottom: 5%;
        }
    code.long {
        font-size: 65%;
    }
}