font-weight: bold;
font-family: sans-serif;
}
+#log .status { margin-left: 0.5ex; }
#log .status.failed { color: rgb(153, 0, 0); }
#log .status.passed { color: rgb(0, 153, 0); }
#log .status.skipped { color: rgb(0, 0, 153); }
#log .status.error { color: rgb(153, 0, 0); }
#log .status.warning { color: rgb(153, 75, 0); }
#log .status.xfailed { color: rgb(153, 75, 0); }
+#log .status.uxpassed { color: rgb(153, 0, 0); }
#log .status.mistake { color: rgb(0, 0, 153); }
#log .output {
color: rgb(0, 0, 0);
font-family: monospace;
}
#log div.unit {
- margin: 5px;
+ /* We have already a margin that is implied by the \n in the HTML
+ * no need to remargin
+ * margin: 5px;*/
padding: 10px;
border: 2px solid black;
}
#log div.unit.skipped { background-color: rgb(180, 180, 255); }
#log div.unit.warning { background-color: rgb(255, 180, 125); }
#log div.unit.xfailed { background-color: rgb(255, 180, 125); }
+#log div.unit.uxpassed { background-color: rgb(255, 180, 180); }
#log div.unit.error { background-color: rgb(255, 180, 180); }
#log div.unit.mistake { background-color: rgb(180, 180, 255); }
+#log div.unit.pretest.ok { background-color: rgb(180, 255, 180); }
#log .unit.failed .output { display: block;}
#log .unit.skipped .output { display: block;}
+#log .unit.skipped .output { display: block;}
#log .unit.passed .output { display: none;}
#log .unit.error .output { display: none;}
#log .unit.mistake .output { display: none;}
#log .unit.warning .output { display: none;}
#log .unit.xfailed .output { display: none;}
+#log .unit.uxpassed .output { display: none;}
#log .unit.errorlog .output { display: none;}
+#log .unit.pretest .output { display: none;}
#log div.status.errorlog { display: none;}
+img + div.action.title {margin-left: 0.5em;}
+a + div.action.status {margin-left: 0.5em;}
#log div.output-stderr-0 {
display: none;
.status.checker {
color: rgb(255, 127, 0);
}
-.status.checker:before {
- content: "Checker: ";
-}
.status.unknown {
color: rgb(0, 0, 255);
}
background:transparent;
}
-.diff_index {
+.gh {
color: blue;
}
-.diff_removed {
+.gd {
color: #a00000;
}
-.diff_added {
+.gi {
color: #0a0;
}
-.diff_fragment_header {
+.gh {
color: purple;
}
-.diff_separator {
+.gu {
color: green;
}
-.diff_diff {
- color: red;
-}
.history_row {
background-color: #E5E9F5;