body {
        margin: 0px 0px 0px 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	line-height: 16px;
        min-width: 1000px; /*fix the menu right-side white margin issue on iphone.*/
    }

    a.QTitle:link, a.QTitle:visited, a.QTitle:hover {
        color: #006600;
        text-decoration: none;
        font-weight: bold;
    }

    /* menu setting */
    a.menu:link, a.menu:visited {
        color: #0066CC;
        font-size: 14px;
        font-weight: bold;
        text-shadow: 0px 1px #003333;
        text-decoration: none;
    }

    a.menu:hover {
        color: #3399FF;
        TEXT-decoration: none;
    }

    table {
        text-align: left; /* Opera use center-align by default. */
    }

    /* for oj/index.php */
    table.oj_list th {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
    }
    table.oj_list td {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
    }
    table.oj_list tr:nth-child(4n+1) {
        background-color: #eeeeee;
    }
    /*table.oj_list tr:nth-child(4n+2) {
        background-color: #eeeeee;
    }*/
    table.oj_list tr:hover {
        background-color: #eeeeff; /*#ddeeff;*/
    }

    /* for oj/submissions.php */
    table.code_list th {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
        background-color: #ccccff;
    }
    table.code_list td {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
    }
    table.code_list tr:nth-child(odd) {
        background-color: #eeeeee;
    }
    table.code_list tr:hover {
        background-color: #eeeeff; 
    }
    table.code_list td:nth-child(1) { text-align:center; }
    table.code_list td:nth-child(2) { text-align:center; }
    table.code_list td:nth-child(3) { text-align:center; }
    table.code_list td:nth-child(4) { text-align:center; }
    table.code_list td:nth-child(5) { text-align:center; }
    table.code_list td:nth-child(6) { text-align:center; }
    table.code_list td:nth-child(7) { text-align:center; }

    /* for user/index.php */
    table.user_list th {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
        background-color: #ccccff;
    }
    table.user_list td {
        padding-top: 5px;
        padding-left:  3px;
        padding-right: 3px;
        height: 20px;
        vertical-align: top;
    }
    table.user_list tr:nth-child(odd) {
        background-color: #eeeeee;
    }
    table.user_list tr:hover {
        background-color: #eeeeff;
    }
    table.user_list td:nth-child(1) { text-align:center; }
    table.user_list td:nth-child(2) { text-align:left; padding-left:10px; padding-right:10px; }
    table.user_list td:nth-child(3) { text-align:center; }
    table.user_list td:nth-child(4) { text-align:center; }


    pre.code_detail {
        /*display: inline;*/
        white-space: pre-wrap; /* wrap text as needed. */
    }

    /* main section of each page. */
    #main {
        margin-left: 10px;
        margin-right: 10px;
        margin-top: 10px;
        margin-bottom: 10px;
        border: 0px solid black;
        width: 1000px;
    }

    #main_full_width {
        margin-left: 10px;
        margin-right: 10px;
        margin-top: 10px;
        margin-bottom: 10px;
        border: 0px solid black;
    }

    #hdrBar {
        font-size: 14px;
        font-weight: bold;
        color: #0066CC;
        text-shadow: 0px 1px #003333;
        background-color: #AACCFF;
        border-bottom: solid 1px #666699;
    }

    #divBar {
      position: absolute;
      left: 0;
      right: 0;
      background-color: #999999;
      text-align: center;
      /* display: table-cell; */
      /* vertical-align: middle; */
      line-height: 40px;
      opacity: 0.85; /* transparent effect. */
      /* gradient. */
      /* background: -webkit-linear-gradient(#a1e048, #6a942f); 
      background: -moz-linear-gradient(#999999, #666666);
      background: -ms-linear-gradient(#a1e048, #6a942f);
      background: -o-linear-gradient(#a1e048, #6a942f);
      background: linear-gradient(#a9aaa9, #494966);
      */
    }

    #divBar:hover {
       color: white;
       background-color: #666666;
    }

    #editor { 
        position: absolute;
        /* top: 400px; */
        height: 496px;
        right: 0;
        bottom: 0;
        /* left: 0; */
        padding: 1px;
        font-size: 12px;
        line-height: 14px;
    }

    #divOutput {
      height: 494px; /* 5px for end arrows. */
      overflow: auto;
      white-space: nowrap;
      position: absolute;
      left: 0;
      bottom: 0;
      background-color: #eeeeff;
      padding: 3px;
      font-size: 12px;
      line-height: 14px;
    }

    #divButton {
      position: absolute;
      bottom: 0;
      background-color: #999999;
    }