michael@0: body   {
michael@0:   margin: 0;
michael@0:   padding: 0;
michael@0:   font-family: Verdana, Helvetica, Arial, sans-serif;
michael@0:   font-size: 11px;
michael@0:   background-color: #fff;
michael@0: }
michael@0: 
michael@0: #xulharness {
michael@0:   position: fixed; 
michael@0:   top: 30px;
michael@0:   bottom: 0;
michael@0:   right: 0px;
michael@0:   left: 0px;
michael@0:   overflow:auto;
michael@0: }
michael@0: 
michael@0: th, td {
michael@0:   font-family: Verdana, Helvetica, Arial, sans-serif;
michael@0:   font-size: 11px;
michael@0:   padding-left: .2em;
michael@0:   padding-right: .2em;
michael@0:   text-align: left;
michael@0:   height: 15px;
michael@0:   margin: 0;
michael@0: }
michael@0: 
michael@0: li, li.test, li.dir {
michael@0:   padding: 0;
michael@0:   line-height: 15px;
michael@0: }
michael@0: 
michael@0: ul { 
michael@0:   list-style: none;
michael@0:   margin: 0;
michael@0:   margin-left: 1em;
michael@0:   padding: 0;
michael@0:   border: none;
michael@0: }
michael@0: 
michael@0: ul.top { 
michael@0:   padding: 0;
michael@0:   padding-left: 1em;
michael@0: }
michael@0: 
michael@0: table#test-table {
michael@0:   background: #f6f6f6;
michael@0:   margin-left: 1em;
michael@0:   padding: 0;
michael@0: }
michael@0: 
michael@0: div.container {
michael@0:   margin: 1em;
michael@0: }
michael@0: 
michael@0: a#runtests, a {
michael@0:   color: #3333cc;
michael@0: }
michael@0: 
michael@0: li.non-test a { 
michael@0:   color: #999999;
michael@0: }
michael@0: 
michael@0: small a {
michael@0:   color: #000;
michael@0: }
michael@0: 
michael@0: .clear { clear: both;}
michael@0: .invisible { display: none;}
michael@0: 
michael@0: div.status {
michael@0:   min-height: 170px;
michael@0:   width: 100%;
michael@0:   border: 1px solid #666;
michael@0: }
michael@0: div.frameholder {
michael@0:   min-height: 170px;
michael@0:   min-width: 500px;
michael@0:   background-color: #ffffff;
michael@0: }
michael@0: 
michael@0: div#current-test {
michael@0:   margin-top: 1em;
michael@0:   margin-bottom: 1em;
michael@0: }
michael@0: 
michael@0: #indicator {
michael@0:   color: white;
michael@0:   background-color: green;
michael@0:   padding: .5em;
michael@0:   margin: 0;
michael@0: }
michael@0: 
michael@0: #pass, #fail {
michael@0:   margin: 0;
michael@0:   padding: .5em;
michael@0: }