diff options
| -rw-r--r-- | programs/templates/index.css | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/programs/templates/index.css b/programs/templates/index.css index 611e82c..be6321c 100644 --- a/programs/templates/index.css +++ b/programs/templates/index.css @@ -5,8 +5,8 @@ body { } h1 { - margin-left: 1em; - margin-right: 1em; + margin-left: 1em; + margin-right: 1em; } #navbox { @@ -56,71 +56,71 @@ h1 { } div#table { - margin-left: 1.75em; - margin-right: 1.75em; + margin-left: 1.75em; + margin-right: 1.75em; } div#tablebody { - display: box; - box-orient: horizontal; - display: -moz-box; - -moz-box-orient: horizontal; + display: box; + box-orient: horizontal; + display: -moz-box; + -moz-box-orient: horizontal; width: 100%; } div.nameColumn { - box-flex: 1; - -moz-box-flex: 1; + box-flex: 1; + -moz-box-flex: 1; } div.nameColumn a.title { - visibility: hidden; + visibility: hidden; } div.groupbody { - margin-left: 1.5em; - padding: 0; + margin-left: 1.5em; + padding: 0; } /* column header: test run name */ div.resultColumn { - text-align: right; + text-align: right; min-width: 5em; } div.resultColumn a { - display: block; - padding: 4pt; + display: block; + padding: 4pt; } a.title { display: block; - font-weight: bold; + font-weight: bold; color: black; - background-color: #c8c838; - padding: 4pt; + background-color: #c8c838; + padding: 4pt; } div.head { - font-weight: bold; - background-color: #c8c838; - padding: 4pt; + font-weight: bold; + background-color: #c8c838; + padding: 4pt; } div.group { - white-space: nowrap; + white-space: nowrap; } /* Normal test names (as opposed to subgroups) */ div.groupbody > div:not([class]) { - padding: 4pt; + padding: 4pt; } .skip, .timeout, .fail, .pass { } .crash { - color: #ffffff; + color: #ffffff; } div.groupbody > div:not([class]):nth-child(odd) { background-color: #ffff95 } |