1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
| #argv {
| width: 40em;
| height: 12ex;
| font-family: monospace, "Monospaced", "Bitstream Vera Sans Mono", "Inconsolata";
| }
|
| table {
| font-family: sans-serif, "Noto Sans";
| }
|
| th,td {
| padding: 1ex;
| }
|
| th.name, td.name {
| text-align: right;
| }
|
| th.effort, td.effort {
| text-align: left;
| }
|
|
