doc/map.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


body {
    width: 90%;
    margin-left: 2em;
    margin-right: 2em;
}


table.package, table.type {
    min-width: 30%;
}

table.function {
    min-width: 60%;
}

table {
    margin-top: 4em;
    margin-bottom: 4em;
    border: 1px solid black;
}


th {
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    border: 1px solid black;
}


td {
    width: 50%;
    padding: 0.5em 0.5em 0.5em 0.5em;
    border: 1px solid black;
}