body {
    background-color: #FFFFFF;
    color:            #000000;
    font-family:      arial, helvetica, sans-serif;
    font-size:        76%;
    font-style:       normal;
    font-weight:      normal;
    margin:           0;
}

#header {
    background-color: #EAEAEA;
    border-bottom:    solid 1px #505050;
    color:            #505050;
    font-family:      arial, helvetica, sans-serif;
    font-size:        2.0em;
    letter-spacing:   0.03em;
    margin:           0px 0px 0px 0px;
    padding:          10px 0px 0px 0px;
    height:           70px;
}

#header .logo {
    font-weight:      bold;
    font-size:        1.4em;
    color:            #750000;
    letter-spacing:   -0.02em;
    float:            left;
}

#header a {
	text-decoration:  none;
}

#header .quote {
    font-size: 		  0.55em;
    color:			  #000000;
    font-style:       italic;
    float:            right;
    text-align:       right;
    padding-right:    15px;
    padding-top:      10px;
}

#footer {
  border-top: solid 1px #505050;
  margin:     10px 0px 10px 0px;
  padding:    5px 10px 10px 15px;
  text-align: center;
  clear:      both;
}

#footer a {
    text-decoration: none;
}

#oneliner {
    background-color: #eaeaea;
    margin:           -15px 0 15px 0;
    padding:          10px 15px 10px 15px;
    font-size:        1.1em;
    text-align:       center;
}

#topnav {
    background-color: #999999;
    margin:           0 0 15px 0;
    padding:          10px 15px 10px 15px;
    border-bottom:    solid 1px #505050;
    font-weight:      bold;
    font-size:        1.1em;
    text-align:       right;
}

#topnav a {
    color:            #750000;
    font-weight:      bold;
    text-decoration:  none;
}

#quote .subtitle {
  font-size:          1.2em;
  color:              #FFFFCC;
}

#col1 {
    float:            left;
    width:            160px;
}

#thumbstat {
  border:             solid 1px #505050;
  margin-left:        15px;
  float:              left;
  width:              160px;
  padding:            0px;
}

#thumbstat h3 {
  background-color:   #750000;
  color:              #FFFFFF;
  font-size:          1em;
  margin:             0;
  width:              150px;
  padding:            5px 0px 5px 10px;
}

#menu {
    border:           solid 1px #505050;
    float:            left;
    margin-left:      15px;
    margin-bottom:    20px;
    width:            160px;
    background-color: #EAEAEA;
}

#menu a {
    background-color: #EAEAEA;
    color:            #000000;
    display:          block;
    padding:          5px 0px 5px 10px;
    height: 14px;
    text-decoration:  none;
}

#menu a:hover {
    background-color: #505050;
    color:            #FFFFFF;
}

#menu h3 {
    background-color: #750000;
    color:            #FFFFFF;
    font-size:        1.3em;
    margin:           0;
    padding:          5px 0 5px 10px;
}

#menu li {
    background-color: #909090;
    height:           24px;
    list-style-type:  none;
    margin:           0;
    padding:          0;
    position: relative;
}

#menu li:hover ul.submenu {
  width: intrinsic; /* Safari */
  width: -moz-max-content; /* Firefox */
  width: -webkit-max-content; /* Chrome */
  width: max-content; /* Everything else, theoretically */
  white-space: nowrap;
  z-index: 1; /* prevent <video> from hiding menu */
}

#menu li:hover ul.submenu a {
  padding-left: 10px;
  padding-right: 10px;
}

#menu ul {
    margin:  0;
    padding: 0;
}

#menu ul ul {
    display: none;
}

#menu li:hover a {
    background-color: #505050;
    color:            #FFFFFF;
}

#menu li:hover ul {
    display: block;
    color: #000000;
    border: solid black 1px;
    position: absolute;
    top: 0;
    left: 100%;
    width: 100%;
}

#menu li:hover ul li a {
    background-color: #EAEAEA;
    color:            #000000;
    display:          block;
    padding:          5px 0 5px 10px;
    text-decoration:  none;
}

#menu li:hover ul li a:hover {
    background-color: #505050;
    color:            #FFFFFF;
}

#error_msg {
    font-size: 110%;
    color: #750000;
    font-weight:      bold;
    margin-top: 15px;
    margin-bottom: 15px;
}

#content {
    margin-left:      200px;
    margin-right:     15px;
}

#content_1col {
    margin-left:      15px;
    margin-right:     15px;
}

#main {
    padding:          10px 10px 20px 5px;
    font-size:        1.2em;
}

#main .box {
    font-size:        1.1em;
    margin: 20px 0px 20px 0;
    padding: 10px 10px 0px 15px;
    border: solid 1px #505050;
    width: 450px;
}

#main .box2 {
    font-size: 1.1em;
    padding: 10px 10px 20px 15px;
}

#main .box3 {
    font-size: 1.0em;
    padding: 10px 10px 20px 15px;
    border:  solid 1px #505050;
}

#main .testcase td {
    font-size:  0.7em;
}

#main td {
    font-size: 0.9em;
}

#main .comment {
    padding-left:20px;
    font-size: 70%;
    color: #505050;
    text-align: left;
}

.main {
    padding:          10px 10px 20px 5px;
    font-size:        1.2em;
}

.main .box {
    font-size:        1.1em;
    margin: 20px 0px 20px 0;
    padding: 10px 10px 0px 15px;
    border: solid 1px #505050;
    width: 450px;
}

.main .box2 {
    font-size: 1.1em;
    padding: 10px 10px 20px 15px;
}

.main .box3 {
    font-size: 1.0em;
    padding: 10px 10px 20px 15px;
    border:  solid 1px #505050;
}

.main .testcase td {
    font-size:  0.7em;
}

.main td {
    font-size: 0.9em;
}

.main .comment {
    padding-left:20px;
    font-size: 70%;
    color: #505050;
    text-align: left;
}

#options {
    font-size: 1.0em;
    padding:          0px 0px 0px 0px;
    border-top: solid 0px #505050;
    margin-top: 20px;
}

#options h4 {
    font-size:        1.1em;
    margin:           0 0 10px 0;
    border-bottom:    solid 1px #505050;
}

#options .ccell td {
    text-align: center;
}

#options .s td {
  font-size: 0.8em;
}

#options .h td {
  padding: 6px 0px;
}

#main .indent {
    padding-left: 25px;
    font-size:  0.8em;
}

#main pre {
    font-size: 1.0em;
    text-align: left;
}

#input_nav, div.input_nav {
    height: 10px;
    cursor: pointer;
    margin-left: 10px;
}

#input_nav .nav_entry, div.input_nav .nav_entry {
    cursor: pointer;
    margin-left: 10px;
}

#dashboard .infobox {
    border: solid 1px #505050;
    padding: 10px 10px 10px 15px;
}

#dashboard .download {
    font-size: 90%;
    color: #FFFFFF;
    background-color: #750000;
    text-decoration: none;
    float: right;
    padding: 0px 5px;
}

#dashboard .download:hover {
    cursor: pointer;
}

#dashboard .jobid {
    text-decoration: none;
    float: right;
    padding-top: 5px;
    padding-right: 5px;
}

#docslist li {
    font-size: 90%;
    color: gray; 
}

#docslist span {
    width: 150px;
    display: inline-block;
    display: -moz-inline-box;
}

#tabs {
    height: 25px;
    font-size: 80%;
}

#tabs div{
    float: left;
    border: solid 1px #505050;
    margin-right: 10px;
    height: 19px;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 5px;
    cursor: pointer;
}

#tabs .selected_tab {
    background-color: #750000;
    color: #FFFFFF;
}

#tabs .dead_tab {
    background-color: #CCCCCC;
    cursor: default;
}

#tabs .alive_tab {
    background-color: #999999;
}

#title {
    border-bottom:  solid 1px #373737;
    color:          #373737;
    font-size:        1.7em;
    letter-spacing: -0.03em;
    margin-bottom:  15px;
    font-family:    arial, helvetica, sans-serif;
}

#snap {
    line-height: 1.3em;
}

.note {
  font-style: italic;
  font-size: 0.9em;
}

.highlight:hover {
    color: black;
    background-color: #edcf00;
}

input .tight {
    margin: 0px;
    padding: 0px;
}

#float-hidden-img a img {
  display: none;
  z-index: 99;
}

#float-hidden-img a {
  position: relative;
}

#float-hidden-img a:hover img {
  display: block;
  position: absolute;
  left: 100%;
  top: -50%;
}

.inversion {
  background-color: #750000;
  color:            #FFFFFF;
}

div .strip {
  background-color: #EBF7E9;
  margin-top: -10px;
  margin-bottom: 10px;
  padding: 5 5;
  text-align: right;
  font-size: 0.8em;
}

div#transcript {
    padding: 20px 0 5px 0;
}

video {
  z-index: 0;
}

/* IE Windows hack */

* html #content {
    margin-left: 197px;
}

* html #content_1col {
    margin-left: 15px;
}

* html #menu {
    margin-left: 8px;
}

* html #menu li {
    margin-bottom: -0px;
}

* html #thumbstat h3 {
    width: 160px;
}

* html #thumbstat {
    margin-left: 8px;
}