blob: 19b1ec96b0c70c52b775aa8a591f72e284badf89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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;
}
|