body {
    font-family: verdana, sans-serif;
}

a { text-decoration: none; }
a:link, a:visited { color: blue; background: inherit; }
a:hover, a:active { color: blue; background: yellow; text-decoration: underline overline;}

table {
    font-family: verdana, sans-serif;
    font-size: small;
    width: 70%;
    margin-left: 15%;
    margin-right: 15%;
    border: 1px solid gray;
}

table#index {
    margin-left: 50px;
    width: 600px;
    font-size: normal;
}

table#index th+td, table#index td+td { text-align: center; width: 10%; }
table#index > tr td { vertical-align: middle }

td {
    color: inherit;
    background: #eee;
    padding: 5px;
    vertical-align: top;
}
tr+tr td { border-top: 1px solid gray; }

th {
    color: inherit;
    background: #888;
    font-weight: bold;
    text-align: center;
}

td.test { width: 30%; }
tr.l1 td.test { padding-left: 25px; border-left: 5px solid gray; }
td.sry { width: 60%; font-family: Bitstream Vera Sans Mono, fixed; }

td span.test, table#index a {
    font-weight: bold;
    display: block;
    padding: 0px;
    margin: 0px;
}

span.doc  { font-style: italic; font-size: 80%; }
span.eval { font-family: Bitstream Vera Sans Mono, fixed; }


td+td+td {
    text-align: center;
    vertical-align: middle;
}

tr:hover td { color: inherit; background: #fff; }

td.test_ok,     tr:hover td.test_ok     { color: inherit; background: #4a4; font-weight: bold; }
td.test_may_ok, tr:hover td.test_may_ok { color: inherit; background: #8f8; font-weight: bold; }
td.test_killed, tr:hover td.test_killed { color: inherit; background: #f88; font-weight: bold; }
td.test_bad,    tr:hover td.test_bad    { color: inherit; background: #f44; font-weight: bold; }