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

body {
    margin: 20px auto;
    padding: 10px 20px;
    max-width: 680px;

    background: #eee;
    color: #333;

    font-family: sans-serif;
}

@media screen and (max-width:960px) {
    body > ul:first-of-type {
        display: none;
    }
}

@media screen and (min-width:961px) {
    body {
        margin-left: 260px;
    }
    body > ul:first-of-type {
        position: fixed;
        margin-left: -280px;
        margin-top: 82px;
    }
}

h1, h2, h3 {
    line-height: 1.2;
}

p {
    line-height: 1.6;
    text-align: justify;
    text-justify: distribute;
    hyphens: auto;
}

code {
    font-size: 1.2em;
}

table {
    width: 100%;
    border-collapse: collapse;
    border: 1px solid black;
}

td, th {
    border: 1px solid black;
    padding: 4px;
}