body {
    face: tahoma, arial;
    font-family: sans-serif;
    color: black;
    text-align: justify;
    background-color: white;
    //background: url(./img/oaei_tiny.jpg) right top no-repeat ;
}

div.header {
    color: grey;
    text-decoration: none;
    font-size: 80%;
}

span.logo {
    float: right;
    /* to be updated with the img size */
    width: 200px;
    height: 200px;
    /*not implemented yet -> css3 */
    background-image: url(./img/oaei_tiny.jpg);
    background-position: right top;
    background-repeat: no-repeat;	
}

h1 { font-size: 200%; }
h2 { font-size: 160%; }
h3 { font-size: 120%; }

div.address {
    font-size: 90%;
    color: grey;
}

div.footer {
    font-size: 90%;
    text-align: center;
    width: 100%;
    padding: 0.5em 0 0.5em 0em;
    border-top:  1px ridge grey;
    border-bottom:  1px ridge grey;
}

div.yellowbar{
    text-align: center;
    background-color: yellow;
    width: 100%;	
}

a:link {  
    color: #0074CA; 
    text-decoration: none
}

a[href]:hover {  
    color: #0074CA; 
    text-decoration: none; 
    background-color: #D3DBFE
}
a:visited {  
    color: #0084E6; 
    text-decoration: none
}

div.testsuite {
    width: 70%;
    background-color: #CFF;
    padding: 5px;
    border-width: 1px;
    border-style: solid;
}

div.testsuite span.title {
    font-weight: bold;
}

div.testsuite span.testsuiteid {
    font-family: monospace;
}

table.res {
    border: 1;
    cellpadding: 4;
    cellspacing: 0;
    rules: COLS;
    margin-left: auto;
    margin-right: auto;
}

td.text {
    text-align: left; 
}

td.res { text-align: center; }

td.important {
    border-left: 1px solid black;
    border-right: 1px solid black;
}

td.bleft { 
    border-left: 1px solid black; 
}

td.right { 
    border-right: 1px solid black; 
}

tr.header td  { 
    background-color: #CCC; 
    font-weight: bold;
}

tr.odd td  { 
    background-color: #FFD; 
}

tr.even td  { 
    background-color: #FDF 
}

tr.break td  { 
    background-color: #EEE; 
}

span.small { 
    font-size: smaller; 
}

caption { 
    caption-side: bottom; 
}