| 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 |
|