1 | table { |
2 | width: 100%; |
3 | } |
4 | code { |
5 | color: green; |
6 | } |
7 | .checksum { |
8 | font-family: monospace; |
9 | } |
10 | .date { |
11 | /*font-family: monospace;*/ |
12 | } |
13 | .subject { |
14 | font-family: monospace; |
15 | } |
16 | |
17 | /* Copied from oilshell.org bundle.css */ |
18 | .date { |
19 | font-size: medium; |
20 | color: #555; |
21 | padding-left: 1em; |
22 | } |