doc-src/02-docstyle.css


1
2
3
4
5
6
7
8
9
10
11
12

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

.tablenum {
    font-weight: bold;
} 

.nowrap {
     white-space: nowrap;
}