@charset
utf-8

;
/**
 * SenCSS - Sensible Standards CSS framework
 *
 * Copyright (c) 2008-2009 Kilian Valkhof (kilianvalkhof.com)
 * Visit sencss.kilianvalkhof.com for more information and changelogs.
 * Licensed under the MIT license. http://www.opensource.org/licenses/mit-license.php
 *
 */
html, body, div, span, object, iframe, blockquote, pre, abbr, address, cite, code, del, dfn, em, img, ins, kbd, q, samp, small, strong, var, fieldset, form, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, dialog, figure, footer, header, hgroup, menu, nav, section, time, mark, audio, video {
    vertical-align: baseline;
    margin: 0;
    padding: 0
}

article, aside, dialog, figure, footer, header, hgroup, menu, nav, section, time, mark, audio, video {
    display: block
}

body {
    background: #efefef;
    color: #222;
    font: 75%/1.5em Arial, Helvetica, "DejaVu Sans", "Liberation sans", "Bitstream Vera Sans", sans-serif;
    position: relative
}

textarea {
    font: 101%/1.5em Arial, Helvetica, "DejaVu Sans", "Liberation sans", "Bitstream Vera Sans", sans-serif;
    border: 1px solid #ccc;
    border-bottom-color: #eee;
    border-right-color: #eee;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -ms-box-sizing: border-box;
    width: 100%;
    margin: 0;
    padding: .29em 0
}

blockquote, q {
    quotes: none
}

blockquote:before, blockquote:after, q:before, q:after {
    content: none
}

:focus {
    outline: none
}

a {
    text-decoration: underline;
    border: 0
}

a:hover, a:focus {
    text-decoration: none
}

a img {
    border: 0
}

abbr, acronym {
    border-bottom: 1px dotted;
    cursor: help;
    font-variant: small-caps
}

address, cite, em, i {
    font-style: italic
}

blockquote p {
    margin: 0 1.5em 1.5em;
    padding: .75em
}

code, kbd, tt {
    font-family: "Courier New", Courier, monospace, serif;
    line-height: 1.5
}

del {
    text-decoration: line-through
}

dfn {
    border-bottom: 1px dashed;
    font-style: italic
}

dl {
    margin: 0 0 1.5em
}

dd {
    margin-left: 1.5em
}

h1, h2, h3, h4, h5, h6 {
    font-weight: 700;
    padding: 0
}

h1 {
    font-size: 2em;
    margin: 0 0 .75em
}

h2 {
    font-size: 1.5em;
    margin: 0 0 1em
}

h3 {
    font-size: 1.1666em;
    margin: 0 0 1.286em
}

h4 {
    font-size: 1em;
    margin: 0 0 1.5em
}

h5 {
    font-size: .8333em;
    margin: 0 0 1.8em
}

h6 {
    font-size: .666em;
    margin: 0 0 2.25em
}

img {
    display: inline-block;
    vertical-align: text-bottom
}

ins {
    text-decoration: overline
}

mark {
    background-color: #ff9;
    color: #000;
    font-style: italic;
    font-weight: 700
}

ol {
    list-style: outside decimal
}

p {
    font-weight: 300;
    margin: 0 0 1.5em
}

pre {
    font-family: "Courier New", Courier, monospace, serif;
    margin: 0 0 1.5em
}

sub {
    top: .4em;
    font-size: .85em;
    line-height: 1;
    position: relative;
    vertical-align: baseline
}

sup {
    font-size: .85em;
    line-height: 1;
    position: relative;
    bottom: .5em;
    vertical-align: baseline
}

ul {
    list-style: outside disc
}

ul, ol {
    margin: 0 0 1.5em 1.5em;
    padding: 0
}

li ul, li ol {
    margin: 0 0 1.5em 1.5em;
    padding: 0
}

table {
    border-collapse: collapse;
    border-spacing: 0;
    margin: 0 0 1.5em;
    padding: 0
}

caption {
    font-style: italic;
    text-align: left
}

tr.alt td {
    background: #eee
}

td {
    border: 1px solid #000;
    vertical-align: middle;
    padding: .333em
}

th {
    font-weight: 700;
    vertical-align: middle;
    padding: .333em
}

button {
    cursor: pointer;
    display: block;
    font-size: 1em;
    height: 2em;
    line-height: 1.5em;
    margin: 1.75em 0 0;
    padding: 0 .5em
}

button::-moz-focus-inner {
    border: 0
}

fieldset {
    border: 0;
    position: relative;
    margin: 0 0 1.5em;
    padding: 1.5em 0 0
}

fieldset fieldset {
    clear: both;
    margin: 0 0 1.5em;
    padding: 0 0 0 1.5em
}

input {
    border: 1px solid #ccc;
    border-bottom-color: #eee;
    border-right-color: #eee;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -ms-box-sizing: border-box;
    font-size: 1em;
    height: 1.5em;
    line-height: 1.5em;
    width: 100%;
    margin: 0 0 .75em;
    padding: .29em 0
}

input[type=file] {
    height: 2.25em;
    padding: 0
}

select {
    border: 1px solid #ccc;
    border-bottom-color: #eee;
    border-right-color: #eee;
    font-size: 1em;
    height: 2.25em;
    _margin: 0 0 1.3em;
    margin: 0 0 .8em;
    padding: .2em 0 0
}

optgroup {
    font-weight: 700;
    font-style: normal;
    text-indent: .2em
}

optgroup + optgroup {
    margin-top: 1em
}

option {
    font-size: 1em;
    height: 1.5em;
    text-indent: 1em;
    padding: 0
}

label {
    cursor: pointer;
    display: block;
    height: auto;
    line-height: 1.4em;
    width: 100%;
    margin: 0;
    padding: 0
}

label input {
    background: 0;
    border: 0;
    height: 1.5em;
    line-height: 1.5em;
    width: auto;
    margin: 0 .5em 0 0;
    padding: 0
}

legend {
    font-size: 1.1666em;
    font-weight: 700;
    left: 0;
    margin: 0;
    padding: 0
}

dt, strong, b {
    font-weight: 700
}

.amp {
    font-family: Baskerville, "Goudy Old Style", Palatino, "Book Antiqua", "URW Chancery L", Gentium, serif;
    font-style: italic
}

.quo {
    font-family: Georgia, Gentium, "Times New Roman", Times, serif
}

.lquo {
    font-family: Georgia, Gentium, "Times New Roman", Times, serif;
    margin: 0 0 0 -.55em
}

.introParagraphArticle:first-letter {
    float: left;
    font-size: 3.2em;
    font-weight: 700;
    line-height: 1em;
    margin: 0 0 -.2em;
    padding: .125em .1em 0 0
}

.message {
    background: #eee;
    border: 1px solid #999;
    margin: 1.5em;
    padding: .666em
}

.error {
    background: #fee;
    border: 1px solid red;
    margin: 1.5em;
    padding: .666em
}

.notice {
    background: #eef;
    border: 1px solid #00f;
    margin: 1.5em;
    padding: .666em
}

.success {
    background: #efe;
    border: 1px solid #0f0;
    margin: 1.5em;
    padding: .666em
}

.warning {
    background: #ffe;
    border: 1px solid #ff0;
    margin: 1.5em;
    padding: .666em
}

.aside-left {
    clear: left;
    float: left;
    overflow: hidden;
    margin: 0 1.5em 1.5em 0
}

.aside-right {
    clear: right;
    float: right;
    overflow: hidden;
    margin: 0 0 1.5em 1.5em
}

.horizontalForm button {
    clear: left;
    float: left;
    margin: .25em 0 0
}

.horizontalForm input, .horizontalForm textarea {
    float: left;
    width: 49%;
    margin: 0 0 .8em
}

.horizontalForm select {
    float: left;
    _margin: 0 0 1.25em;
    margin: 0 0 .75em
}

.horizontalForm label {
    clear: left;
    float: left;
    width: 49%;
    padding: .375em 0
}

.horizontalForm label input {
    height: 1em;
    line-height: 1.5em;
    width: auto;
    margin: .25em .5em 0 0
}

.horizontalForm label.singleLine {
    clear: both;
    float: none;
    height: 1.5em;
    width: 100%;
    padding: 0
}

/* Page styling */
#wrap {
    width: 960px;
    margin: 0 auto;
    border: 1px #222 solid;
    border-top: 0;
    background: white;
}

#head {
    padding: 30px;
    background: url(../img/head.png);
    height: 195px;
    color: #fff;
}

#menu {
    display: block;
    height: 25px;
    margin: 0;
    list-style: none;
    margin-bottom: 25px;
    position: relative;
    border-top: 1px solid #222;
    border-bottom: 1px solid #222;
    background: #222;
}

#menu li {
    float: left;
    height: 25px;
}

#menu li a {
    display: block;
    line-height: 25px;
    padding: 0 20px;
    text-decoration: none;
    color: #fff;
}

#menu ul {
    margin: 0;
    display: none;
    position: absolute;
    left: 0;
    height: 25px;
    /*background: white;*/
    width: 100%;
    list-style: none;
    border-top: 1px solid #222;
    border-bottom: 1px solid #222;
}

#menu li.selected a {
    color: #222;
}

#menu li.selected > a {
    background: #efefef;
}

#menu li:hover a, #menu li.ancestor a {
    background: #fff;
    color: #222;
}

#menu li < ul:hover {
    background: #222;
}

#menu ul a {
    color: #fff;
}

#menu li:hover ul {
    z-index: 55;
}

#menu li:hover ul, #menu li.selected ul, #menu li.ancestor ul {
    display: block;
}

#content {
    padding: 30px;
    overflow: auto;
    background-color: white;
}

#sponsors {
    width: 960px;
    margin: 20px auto 10px;
    border: 1px #222 solid;
    border-top: 0;
    text-align: center;
    background: white;
}

#sponsors h2 {
    display: block;
    line-height: 30px;
    padding: 0 10px;
    background: #222;
    color: #fff;
    height: 30px;
}

#sponsors img {
    vertical-align: middle;
    margin: 0 10px;
    max-width: 290px;
}

/*#sponsors img.main {
    max-width: 290px;
}*/

/* DOMJudge scoreboard */
body {
	color: black;
	/*background-color: white;*/
	font-family: sans-serif;
}

img {	border: 0; }

.sol {
	font-weight: bold;
	font-variant: small-caps;
}

.sol_correct      { color: green;  }
.sol_incorrect    { color: red;    }
.sol_queued       { color: gray;   }

.prevsubmit       { color: #696969; }

tr.sub_ignore td {
	text-decoration: line-through;
}

tr.unseen td {
	font-weight: bold;
}

a:link, a:visited { color: blue;   }
a:hover           { color: purple; }
a:active          { color: red;    }

.disabled         { color: silver; }
.disabled a       { color: gray;   }
.disabled .balloonimage {
	opacity: 0.2;
	/* what follows is for IE-compatibility */
	-ms-filter:"progid:DXImageTransform.Microsoft.Alpha(Opacity=20)";
	filter: alpha(opacity=20);
}
.nodata           { color: gray; font-style: italic; }

/* general table layout (not in scoreboard or lists) */
table {
	border-collapse: separate;
	border-spacing: 2px;
}

th {
	vertical-align: bottom;
}

caption {
	font-weight: bold;
	margin-bottom: 1ex;
}

hr {
	border: 0;
	height: 1px;
	background-color: gray;
	margin-top: 2em;
}
address { font-size: smaller; }

tr.unread td {
	font-weight: bold;
}

/* more spacing in lists of teams, submissions, etc. */
.list {
	border-collapse: collapse;
	border-spacing: 0px;
}
.list th {
	vertical-align: bottom;
	padding-left: 3px;
	padding-right: 3px;
}
td {
	vertical-align: top;
}

.list tr { border-bottom: 1px solid silver; }
.list tr.roweven { background: #ededed; }
.list tr:hover { background: #ffffcc; }
.list thead tr { border-bottom-color: black; }
.list thead tr:hover { background: white; }
.list a {
	text-decoration: none;
	color: black;
	display: block;
	padding: 3px;
	padding-left: 5px;
	padding-right: 5px;
}
.list .disabled a  { color: silver;   }
.list .editdel  a  { display: inline; }

.output_text {
	border-top: 1px dotted #C0C0C0;
	border-bottom: 1px dotted #C0C0C0;
	background-color: #FAFAFA;
	margin: 0;
	padding: 5px;
	font-family: monospace;
}

span.differ {
	color: Red;
}

span.endline {
	color: Orange;
}

span.extra {
	color: Red;
}

.teamid { font-family: monospace; }
.probid, .langid { font-variant: small-caps; }

#menutop a {
	font-weight: bold;
	text-decoration: none;
	background-color: #FFFFF0;
	border: 1px solid black;
	margin: 2px;
	padding: 2px;
	padding-left: 5px;
	padding-right: 5px;
}
#menutop a.new {
	color: #FF0000;
}

#menutopright {
	position: absolute; right: 1ex; top: 1ex;
	text-align: right;
}
#clock {
/*	font-size: small; */
	font-family: monospace;
	border: 1px dashed #ccc;
	padding: 4px;
	color: gray;
	z-index: -1;
}
#timeleft { color: #800080;}
#refresh {
	margin-top: 5px;
	margin-bottom: 5px;
}

fieldset {
	margin: 2em;
	padding: 1em;
}

.error {
	color: red;
	font-family: monospace;
	border: 1px dotted red;
}

legend {
	font-variant: small-caps;
	font-weight: bold;
	padding: .1ex .5ex;
}

.error legend {
	font-size: x-large;
	border-right: 1px solid gray;
	border-bottom: 1px solid gray;
}

.center { margin: 0px auto; }

.scoreboard { border-collapse: collapse; }
.scoreboard td { font-size: small; }
.scoreboard tr { border-bottom: 1px solid silver; }
.scoreboard td, .scoreboard th {
	border-right: 1px solid black;
	padding: 3px;
}
.scoreboard a {
	display: block;
	padding: 3px;
	text-decoration: none;
	color: black;
}

.scoreboard .scoretn { padding: 0px; width: 25ex; }
.scoreboard .scoreaf { white-space: nowrap; }

.scoreheader {
	font-variant: small-caps;
	border-bottom: 2px solid black;
}
.score_correct   { background: #33FF66; }
.score_first     { background: #00AA00 !important; }
.score_pending   { background: #6666FF; }
.score_incorrect { background: #FF6666; }

#scoresolv,#scoretotal { width: 5em; }
.scorenc,.scorett,.scorepl { text-align: right; width: 2ex; }
td.scorenc { border-color: silver; }

.scoreprob { width: 7em; }
.scoreaffil { text-align: center; }

#scoresummary {
	border-top: 2px solid black;
	border-bottom: none;
	font-variant: small-caps;
}
#scorethisisme .scoretn {
	background: #ff6600;
	font-weight: bold;
}

.scorelegend {
	display: inline-block;
	vertical-align: top;
}

.scorelegend td {
	text-align: center;
	width: 25ex;
}

#lastmod {
	position: absolute; right: 1ex; margin-top: 1em;
}
#lastmod, #lastmod a {
	font-size: x-small;
	color: gray;
	text-align: right;
}

#teamscoresummary { margin-top: 2.5em; }

#teampicture { position: absolute; right: 4ex; top: 7ex; }

/* between different sortorder-categories, print a thick line */
.sortorderswitch { border-top: 2px solid black; }

/* between different contests, print a thin line */
.contestswitch { border-top: 1px solid black; }

.submissionsuccessful {
	font-weight: bold;
	background-color: #FFFFF0;
	border: 1px solid black;
	margin: 1em;
	padding: 2px;
	color: #006400;
	padding-left: 5px;
	padding-right: 5px;
}

input,select,textarea {
	border: solid 1px darkgray;
	background-color: #F0F0F0;
}
input,select {
	cursor: pointer;
}

h3.teamoverview {
	border-top: solid 1px darkgray;
	border-bottom: solid 1px darkgray;
	background-color: #c4d8ff;
	font-size: smaller;
	font-weight: normal;
	margin-top: 2ex;
	padding-left: 1ex;
}

#submitlist,#clarlist {
	width: 48%;
}
#submitlist {
	position: absolute;
	left: 1ex;
}
#clarlist {
	position: absolute;
	right: 1ex;
}
.compilation-success {
	color: green;
	font-style: italic;
}
.compilation-error {
	color: red;
	font-style: italic;
}
#submitform, .submissiondone {
	text-align: center;
}
.submissiondone a {
	color: red;
}
#submitlist .list, #clarlist .list {
	width: 100%;
}
#submitlist .list th, #clarlist .list th {
	text-align: left;
}
#submitlist td.result, #clarlist td.clartext {
	width: 1000ex;
}
#submitlist tr.highlight {
	background-color: #c4d8ff;
	border-color: blue;
}
.errorfield {
	border-color: red;
	color: red;
}
.button {
	border: solid 1px darkgray;
	background-color: #F0F0F0;
	font-size: 90%;
}

h2#teamwelcome {
	padding-bottom: 0;
	margin-bottom: 0;
	margin-left: 3em;
	font-weight: normal;
}
#teamwelcometeam {
	font-weight: bold;
}
h3#contestnotstarted {
	color: silver;
	margin-top: .2ex;
	margin-left: 8em;
}

span.fileinputs {
	position: relative;
}

input#addfile {
	margin-top: 1ex;
}

/* tabbed layout for multiple source files */
.tabberlive .tabbertabhide {
	display:none;
}
.tabber {
}
.tabberlive {
	margin-top:1em;
}
ul.tabbernav
{
	margin:0;
	padding: 3px 0;
	border-bottom: 1px solid #778;
	font: bold 12px Verdana, sans-serif;
}

ul.tabbernav li
{
	list-style: none;
	margin: 0;
	display: inline;
}

ul.tabbernav li a
{
	padding: 3px 0.5em;
	margin-left: 3px;
	border: 1px solid #778;
	border-bottom: none;
	background: #DDE;
	text-decoration: none;
}

ul.tabbernav li a:link { color: #448; }
ul.tabbernav li a:visited { color: #667; }

ul.tabbernav li a:hover
{
	color: #000;
	background: #AAE;
	border-color: #227;
}

ul.tabbernav li.tabberactive a
{
	background-color: #fff;
	border-bottom: 1px solid #fff;
}

ul.tabbernav li.tabberactive a:hover
{
	color: #000;
	background: white;
	border-bottom: 1px solid white;
}
.tabberlive .tabbertab {
	padding:5px;
	border:1px solid #aaa;
	border-top:0;
}
.tabberlive .tabbertab h2 {
	display:none;
}