doc-src/02-docstyle.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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


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


.tablenum {
    font-weight: bold;
}