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

.app-grauphel #app-content {
    box-sizing: border-box;
    padding: 2ex;
}

.app-grauphel #app-content h1 {
    font-weight: bold;
    font-size: 2em;
    margin-bottom: 1ex;
}
.app-grauphel #app-content h2 {
    font-weight: bold;
    font-size: 150%;
    margin-bottom: 1ex;
    margin-top: 2ex;
}
.app-grauphel #app-content dt {
    font-weight: bold;
}
.app-grauphel #app-content dd {
    margin-left: 3ex;
}
.app-grauphel #app-content pre {
    margin: 1em;
    background-color: #DDD;
    padding: 1ex;
    font-family: monospace;
}

.app-grauphel #app-content ul {
    list-style-type: disc;
    margin-bottom: 1ex;
}
.app-grauphel #app-content li {
    margin-left: 4ex;
}
.app-grauphel #app-content a.lined {
    text-decoration: underline;
}