diff options
Diffstat (limited to 'programs/templates/index.css')
-rw-r--r-- | programs/templates/index.css | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/programs/templates/index.css b/programs/templates/index.css new file mode 100644 index 0000000..4133d33 --- /dev/null +++ b/programs/templates/index.css @@ -0,0 +1,85 @@ +div#table { + margin-left: 1.75em; + margin-right: 1.75em; +} + +div#tablebody { + display: box; + box-orient: horizontal; + display: -moz-box; + -moz-box-orient: horizontal; + width: 100%; +} + +div.nameColumn { + box-flex: 1; + -moz-box-flex: 1; +} + +div.nameColumn a.title { + visibility: hidden; +} + +div.groupbody { + margin-left: 1.5em; + padding: 0; +} + +/* column header: test run name */ +div.resultColumn { + text-align: right; +} + +div.resultColumn a { + display: block; + padding: 4pt; +} + +a.title { + display: block; + font-weight: bold; + color: black; + background-color: #c8c838; + padding: 4pt; +} + +div.head { + font-weight: bold; + background-color: #c8c838; + padding: 4pt; +} + +div.group { + white-space: nowrap; +} + +/* Normal test names (as opposed to subgroups) */ +div.groupbody > div:not([class]) { + padding: 4pt; +} + +.skip, .timeout, .fail, .pass { +} + +.crash { + color: #ffffff; +} + +div.groupbody > div:not([class]):nth-child(odd) { background-color: #ffff95 } +div.groupbody > div:not([class]):nth-child(even) { background-color: #e1e183 } + +div.group .pass:nth-child(odd) { background-color: #20ff20; } +div.group .pass:nth-child(even) { background-color: #15e015; } + +div.group .skip:nth-child(odd) { background-color: #b0b0b0; } +div.group .skip:nth-child(even) { background-color: #a0a0a0; } + +div.group .timeout:nth-child(odd) { background-color: #ff9020; } +div.group .timeout:nth-child(even) { background-color: #ef8010; } + +div.group .fail:nth-child(odd) { background-color: #ff2020; } +div.group .fail:nth-child(even) { background-color: #e00505; } + +div.group .crash:nth-child(odd) { background-color: #111111; } +div.group .crash:nth-child(even) { background-color: #000000; } + |