michael@0: /* Override default style */
michael@0: output {
michael@0:   color: black;
michael@0: }
michael@0: 
michael@0: output.notvalid {
michael@0:   color: green;
michael@0: }
michael@0: output.notvalid:valid {
michael@0:   color: red;
michael@0: }
michael@0: 
michael@0: output.valid {
michael@0:   color: red;
michael@0: }
michael@0: output.valid:valid {
michael@0:   color: green;
michael@0: }
michael@0: 
michael@0: output.ref {
michael@0:   color: green;
michael@0: }