@charset "utf-8";

body, div, dl, dt, dd, ul, ol, li, h1, h2, h3, h4, h5, h6, pre, form, fieldset, input, p, blockquote, th, td {
    margin: 0;
    padding: 0;
}

textarea {
    margin: 0;
    padding: 2px;
}

iframe {
    border: none;
}

table {
    border-collapse: collapse;
    border-spacing: 0;
}

fieldset, img {
    border: 0;
}

address, caption, cite, code, dfn, em, strong, th, var {
    font-style: normal;
    font-weight: normal;
}

ol, ul {
    list-style: none;
}

caption, th {
    text-align: left;
}

h1, h2, h3, h4, h5, h6 {
    font-size: 100%;
    font-weight: normal;
}

q:before, q:after {
    content: '';
}

abbr, acronym {
    border: 0;
}

a:link {
    color: #0000cc;
}

body {
    background: #fff;
    margin: 3px 8px;
}

body, select, input {
    font-family: arial, sans-serif;
}

body {
    font-size: 83%;
}

td td, th th, th td, td th {
    font-size: 100%;
}

pre {
    font-size: 110%;
}

form {
    padding: 0;
    margin: 0;
}

input {
    padding-left: 1px;
    padding-right: 1px;
}

hr {
    color: #ccc;
    background-color: #ccc;
}

.blue-box .t {
    border: 1px solid #c3d9ff;
    background-color: #e5ecf9;
}

.grey-box {
    font-size: 11px;
    -moz-border-radius: 3px;
    -webkit-border-radius: 3px;
    border-radius: 3px;
    padding: 2px 2px 2px 5px;
    border: 1px solid #909090;
    background-color: #f0f0f0;
    color: #555;
    margin-right: 1em;
    line-height: 2.5em;
}

.gray-box .t {
    border: 1px solid #909090;
    background-color: #f0f0f0;
}

.brown-box .t {
    border: 1px solid rgb(204, 204, 204);
    background-color: rgb(248, 233, 161);
}

.red-box .t {
    border: 1px solid rgb(204, 204, 204);
    /*background-color: rgb(248, 100, 100);*/
    background-color: #EF9A9A;
}

.color-box {
    z-index: 2;
    margin: 1em;
    position: relative;
}

.color-box h1 {
    font-size: 24px;
    font-weight: bold;
}

.color-box h2 {
    font-size: 20px;
    font-weight: bold;
}

.color-box ul {
    list-style: disc;
    list-style-position: inside;
}

.color-box ul li {
    margin: 0.25em 0;
}

.t {
    position: absolute;
}

.color-box .t1 {
    z-index: -2;
    border-width: 1px 0;
    top: -1px;
    bottom: -1px;
    left: 0;
    right: 0;
}

.color-box .t2 {
    z-index: -2;
    border-width: 0 1px;
    top: 0;
    bottom: 0;
    left: -1px;
    right: -1px;
}

.color-box .t3 {
    z-index: -1;
    border-width: 0 1px;
    top: 2px;
    bottom: 2px;
    left: -2px;
    right: -2px;
}

.color-box .t4 {
    z-index: -1;
    border-width: 1px 0;
    top: -2px;
    bottom: -2px;
    left: 2px;
    right: 2px;
}

.color-box .text {
    padding: 6px;
}

.page-name {
    margin-left: 0.5em;
    float: left;
    font-size: 120%;
}

.menu span {
    float: right;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-size: 90%;
}

.welcome-text {
    padding: 4em;
}

.welcome-text * {
    font-size: 16px;
}

.welcome-text ul {
    padding: 0.5em;
    list-style: disc;
    list-style-position: inside;
}

.valid {
    border: 2px solid green !important;
}

.invalid {
    border: 2px solid #800 !important;
}

.error {
    color: red;
}

.field-error {
    color: red;
    font-size: 75%;
    position: relative;
    display: block; /*width: 20em;*/
    width: 100%;
    top: -7px;
}

.field-notice {
    color: #777;
    font-size: 11px;
    position: relative;
    display: block;
    width: 100%;
    top: -7px;
}

.index-info-box {
    width: 250px;
}

.caption {
    font-size: 16px;
}

.caption * {
    display: inline;
}

.grid {
    width: calc(100% - 2em);
    margin: 0.5em 1em 0 1em;
}

.grid tr {
}

.grid tr td {
    font-size: 100%;
    border: 1px solid #B2B2B2;
    padding: 0.25em 0.5em;
}

.grid tr th {
    font-size: 100%;
    border: 1px solid #B2B2B2;
    text-align: center;
    padding: 0.25em 0.5em;
    color: rgb(0, 0, 204);
    background-color: #e5ecf9;
    font-weight: bold;
}

.grid thead td {
    background-color: #e5ecf9;
}

.grid:not(.disableTrHoverHighlight) tbody tr:hover:not(:only-child).checked td {
    background-color: #e5ecf9 !important;
}

.grid:not(.disableTrHoverHighlight) tbody tr:hover:not(:only-child) td {
    background-color: #f2f2f2 !important;
}

.under, .under * {
    margin: 0;
    padding-top: 1px !important;
    padding-bottom: 0 !important;
    line-height: 12px;
    min-height: 12px;
}

.invalidRow {
    background-color: #ffe3e3;
}

.grid caption {
    font-size: 125%;
}

.edit-info-box {
    width: 300px;
}

.edit-info-box td {
    padding: 0.25em 0.5em;
}

.commit-form td {
    padding: 0.5em;
}

.around {
    margin: 1em;
    border-left: 4px solid #e5ecf9;
}

.left-form input {
    width: 15em;
}

.left-form select {
    width: 15em;
}

.left-form .first-column {
    width: 12.5em;
}

.left-form #fileUpload {
    width: 20em;
}

.left-form table {
    margin: 2em;
}

.left-form td {
    padding: 0.5em;
}

.statements {
    vertical-align: top;
}

.statements statements-menu * {
    font-size: 14px;
}

.statements a {
    margin: 0.5em;
}

.statements #right {
    float: right;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-size: 110%;
}

.tests .tests-menu *,
.invocations .tests-menu * {
    font-size: 14px;
}

.tests a,
.invocations a {
    margin: 0.5em;
}

.tests #right {
    float: right;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-size: 110%;
}

.test-table, .stress-table, .invocation-table {
    margin: 1em;
    width: calc(100% - 2em);
}

.test-table col, .stress-table col {
    width: 8em;
}

.test-table .test-table-td, .stress-table .stress-table-td {
    /*font-size: 125%;*/
    padding-bottom: 1em;
}

.test-table-td-key {
    width: 12em;
}

.checkboxGrid .checked {
    background-color: #f2f7fc;
}

.backLink {
    font-weight: bold;
    margin: 1em;
}

.testSource {
    background-color: #d3d3d3;
}

.menu .active {
    font-weight: bold;
}

.terms-of-use {
    width: 400px;
}

.terms-of-use ol {
    list-style-type: decimal;
    list-style-position: inside;
    padding: 0 1em;
    margin: 0;
}

.terms-of-use ul {
    list-style-type: circle;
    list-style-position: inside;
    padding: 0 0em;
    margin: 0;
}

.terms-of-use li {
    padding: 0;
    margin: 0;
    font-size: 10px;
}

.muted {
    color: #777;
}

.grid-notice {
    color: #777;
    font-size: 11px;
    margin-left: 1em;
}

.popup {
    position: fixed;
    border: 6px solid #c3d9ff;
    z-index: 10000;
    background-color: #ffd;
    -moz-border-radius: 8px;
    -webkit-border-radius: 8px;
    padding: 1em;
}

.popup .popup-close {
    text-align: right;
    position: absolute;
    right: 1em;
    top: 1em;
}

.popup .title {
    font-size: 120%;
    border-bottom: 1px solid gray;
    margin-bottom: 1.5em;
    padding-bottom: 0.5em;
}

.popup .subtitle {
    font-size: 100%;
    position: relative;
    bottom: 1.5em;
    color: gray;
}

.pagination a.active {
    font-weight: bold;
}

.slowest-run {
    background-color: #e5ecf9;
}

td.suspicious-run, td.violate-tag-run {
    background-color: #ffe4b5;
}

.small {
    font-size: 11px;
}

.metaCell .strong {
    font-weight: bold;
}

pre.prettyprint {
    padding: 0 !important;
    border: none !important;
}

button.link {
    background: none !important;
    border: none;
    padding: 0 !important;
    /*border is optional*/
    text-decoration: underline;
    cursor: pointer;
    color: #0000cc;
}

.mirror {
    transform: rotateX(180deg);
}

.pin-input {
    text-security: disc;
    -webkit-text-security: disc;
    -moz-text-security: disc;
}

.tableCaptionPaginationHolder {
    float: right;
    font-size: 12px !important;
    position: relative;
    bottom: -3px;
}

.tableCaptionPaginationHolder * {
    display: inline;
}

.tags .grey-box img {
    cursor: pointer;
}