1 body

     2 {

     3 	font-family: monospace;

     4 }

     5 

     6 pre { background: #cccccc; }

     7 

     8 table

     9 {

    10 	width: 100%;

    11 	border: 1px solid black;

    12 }

    13 

    14 th.numbers

    15 {

    16 	width: 10%;

    17 }

    18 

    19 td

    20 {

    21 	text-align: center;

    22 }

    23 

    24 td.name

    25 {

    26 	text-align: left;

    27 }

    28 td.ok { background: #80ff80; }

    29 td.error { background: #ff8080; }

    30 td.warning { background: #ffff80; }

    31 td.remark { background: #8080ff; }

    32 td.missing { background: #c0c0c0; }

    33