/* Main Default */
body {
    background: white url(../images/topbg.jpg) repeat-x top center;
    font-size: 13px;
    font-family: Tahoma, "sans-serif";
    margin: 10px;
    padding: 10px;
}

/* Form Font */
input {
    font-family: Tahoma, "sans-serif";
}

/* Heading 1&2 */
h1 {
    font-size: 24px;
    color: #334488;
    line-height: 2em;
}

h2 {
    font-size: 18px;
    color: #5566bb;
    line-height: 1.5em;
}

/* Bar Line Color and Thickness */ 
hr {
    border-top: 1px solid #dddddd;
    border-bottom: 1px solid #eeeeee;
}

/* Link + Anchor Color */
a, a:link, a:visited {
    color: #6666cc;
    text-decoration: none;
}

a:hover, a:focus {
    color: #111166;
    text-decoration: none;
}

/* This is the main menu bad*/
div.userbar { 
    line-height: 1.5em;
    text-align: right;
    font-size: 12px;
}

/* This is the top bar, displaying user's full name */
div.title {
    // background: #ddddff;
    // border: 1px dashed blue;
    padding: 10px 0px;
    line-height: 1.5em;
    font-size: 13px;
}

div.title span.contest-over-msg {
    font-size: 15px;
    color: red;
}

div.title table {
    width: 100%;
    font-weight: bold;
}

div.title td.left-col {
    text-align: left;
    vertical-align: top;
    color: #444444;
}

div.title td.right-col {
    text-align: right;
    vertical-align: top;
    font-size: 18px;
    color: #116699;
}

/* Standard table with header and rows with alternating background */
table.info {
    margin: 10px 0;
    border: 1px solid #666666;
    border-collapse: collapse;
    font-size: 12px;
}

table.info th {
    border: 1px solid #666666;
    line-height: 1.5em;
    padding: 0 0.5em;
}

table.info td {
    border-left: 1px solid #666666;
    border-right: 1px solid #666666;
    line-height: 1.5em;
    padding: 0 0.5em;
}

tr.info-head {
    background: #777777;
    color: white;
}

tr.info-odd {
    background: #eeeeee;
}

tr.info-even {
    background: #f9f9f9;
}

/*******************************
 [Main]
********************************/
div.submitbox {
    background: #eeeeff;
    border: 1px dotted #99aaee;
    padding: 5px;
    margin: 10px 0px;
    color: black;
    font-size: 13px;
}

div.errorExplanation {
    border: 1px dotted gray;
    color: #bb2222;
    padding: 5px 15px 5px 15px;
    margin-bottom: 5px;
    background-color: white;
    font-weight: normal;
}


div.errorExplanation h2 {
    color: #cc1111;
    font-weight: bold;
}

/*******************************
 [Settings]
********************************/
table.uinfo {
    border-collapse: collapse;
    border: 1px solid black;
    font-size: 13px;
}

td.uinfo {
    vertical-align: top;
    border: 1px solid black;
    padding: 5px;
}

th.uinfo {
    background: lightgreen;
    vertical-align: top;
    text-align: right;
    border: 1px solid black;
    padding: 5px;
}

/*******************************
 [Submission]
********************************/
div.compilermsgbody {
    font-family: monospace;
}

div.task-menu {
    text-align: center;
    font-size: 13px;
    line-height: 1.75em;
    font-weight: bold;
    border-top: 1px dashed gray;
    border-bottom: 1px dashed gray;
    margin-top: 2px;
    margin-bottom: 4px;
}

/*******************************
 [Submission]
********************************/
table.taskdesc {
    border: 2px solid #dddddd;
    border-collapse: collapse;
    margin: 10px auto;
    width: 90%;
    font-size: 13px;
}

table.taskdesc p {
    font-size: 13px;
}

table.taskdesc tr.name {
    border: 2px solid #dddddd;
    background: #dddddd;
    color: #333333;
    font-weight: bold;
    font-size: 14px;
    line-height: 1.5em;
    text-align: center;
}

table.taskdesc td.desc-odd {
    padding: 5px;
    padding-left: 20px;
    background: #fefeee;
}

table.taskdesc td.desc-even {
    padding: 5px;
    padding-left: 20px;
    background: #feeefe;
}

/**********************
   Announcement
***********************/

div.announcementbox {
    margin: 10px 0px;
    background: #bbddee;
    padding: 1px;
}

div.announcementbox span.title {
    font-weight: bold;
    color: #224455;
    padding-left: 10px;
    line-height: 1.6em;
}

div.announcement {
    margin: 2px;
    background: white;
    padding: 1px;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 5px;
    padding-bottom: 5px;
}

.announcement p {
    font-size: 12px;
    margin: 2px;
}

div.pub-info, div.pub-info p {
    text-align: right;
    font-style: italic;
    font-size: 9px;
}

.announcement .toggles {
    font-weight: normal;
    float: right;
    font-size: 80%;
}

.announcement .announcement-title {
    font-weight: bold;
}

/******************
   Messages
******************/

div.message {
    margin: 10px 0 0;
}

div.message div.message {
    margin: 0 0 0 30px;
}

div.message div.body {
    border: 2px solid #dddddd;
    background: #fff8f8;
    padding-left: 5px;
}

div.message div.reply-body {
    border: 2px solid #bbbbbb;
    background: #fffff8;
    padding-left: 5px;
}

div.message div.stat {
    font-size: 10px;
    line-height: 1.75em;
    padding: 0 5px;
    color: #333333;
    background: #dddddd;
    font-weight: bold;
}

div.message div.message div.stat {
    font-size: 10px;
    line-height: 1.75em;
    padding: 0 5px;
    color: #444444;
    background: #bbbbbb;
    font-weight: bold;
}

/********************
   Registration
********************/
div.contest-title {
    color: white;
    text-align: center;
    line-height: 2em;
}

div.registration-desc {
    border: 1px dotted gray;
    background: #f5f5f5;
    padding: 5px;
    margin: 10px 0;
    font-size: 12px;
    line-height: 1.5em;
}

/********************
  [Test Interface]
********************/

div.test-desc {
    border: 1px dotted gray; 
    background: #f5f5f5;
    padding: 5px;
    margin: 10px 0;
    font-size: 12px;
    line-height: 1.5em;
}