doc-src/02-docstyle.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

body {
    padding-top: 60px;
    padding-bottom: 40px;
}

.terminal {
    color: #c0c0c0;
    font-size: 1em;
    background: #000000;
}


pre {
    margin-top: 10px;
    color: #333;
}


.tablenum {
    font-weight: bold;
} 

.nowrap {
 white-space: nowrap;
}