michael@0: .pass {
michael@0:     font-weight: bold;
michael@0:     color: green;
michael@0: }
michael@0: .fail {
michael@0:     font-weight: bold;
michael@0:     color: red;
michael@0: }
michael@0: #console {
michael@0:     white-space: pre-wrap;
michael@0:     font-family: monospace;
michael@0: }