1 | code {
|
2 | color: green;
|
3 | }
|
4 | table {
|
5 | margin-left: 3em;
|
6 | font-family: sans-serif;
|
7 | }
|
8 | td {
|
9 | padding: 8px; /* override default of 5px */
|
10 | }
|
11 | h3, h4 {
|
12 | color: darkgreen;
|
13 | }
|
14 |
|
15 | /* these two tables are side by side */
|
16 | #shells, #hosts, #raw_times {
|
17 | display: inline-block;
|
18 | vertical-align: top;
|
19 | }
|
20 |
|
21 | /* columns */
|
22 | #osh, #osh-ovm, #osh-cpython, #osh-native, #oil-native {
|
23 | background-color: oldlace;
|
24 | }
|
25 | /* rows */
|
26 | .special {
|
27 | background-color: oldlace;
|
28 | }
|
29 |
|
30 | /* Make it lighter */
|
31 | hr {
|
32 | border: none;
|
33 | height: 1px;
|
34 | background-color: #BBB;
|
35 | }
|
36 |
|