/* 
    Document   : main
    Created on : 07.04.2009, 17:01:28
    Author     : cy6ergn0m
    Description:
        Purpose of the stylesheet follows.
*/

/* 
   TODO customize this sample style
   Syntax recommendation http://www.w3.org/TR/REC-CSS2/
*/

root { 
    display: block;
}

body {
    background-color: #3F7091;
    color: white
}

a:link, a:visited {
    color: white;
    text-decoration: none
}

a:hover {
    text-decoration: underline
}

h1 {
    font-size: 22px
}

div.menu {
    margin: 0px 30px 10px 10px;
    padding: 0px 10px 0px 10px
}

div.menu a {
    background-color: #2A5171;
    padding: 3px 7px 3px 7px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px
}

div.menu a.current {
    background-color: #E8740B
}

div.results {
    color: #555555;
    background-color: #C2D0DB;
    margin: 5px 30px 5px 10px;
    padding: 10px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    border: 1px solid white;
    font-size: 22px
}

div.results table {
    width: 100%
}

div.results table tr td.name {
    max-width: 70%;
    padding: 2px 15px 2px 0px;
}

div.results table tr td.name div {
    overflow: hidden
}

span.javafx {
    font-style: italic;
    font-weight: normal
}

td.time span {
    font-size: small
}

td.time span.time {
    font-weight: bold;
    font-size: larger
}

div.results table tr.leader td.name {
    font-weight: bold;
    color: #283261
}

div.results table tr.leader td.time {
    color: #283261
}


div.results table tr td.name {
    border-bottom: 1px dotted #555555
}