path: root/dmt/style.css

body {
    font-family: Arial, sans-serif;
    font-size: 11pt;
    color: #ffffff;
    background-color: #191919;
    max-width: 100ch;
    margin: 0 auto;
}

pre {
    white-space: pre-wrap;
    margin: 0;
}

td {
    font-family: monospace;
}

a {
    color: #c8c8c8;
    text-decoration: none;
}

a:hover {
    color: #ffffff;
}

.button {
    background-color: #888888ab;
    border-radius: 5px;
    padding: 3px 7px;
}

.button:hover {
    background-color: #abababab;
}

.right {
    position: relative;
    float: right;
}

.links {
    padding-top: 10px;
    font-size: 12pt;
}

.hidden {
    display: none;
}

.box {
    background-color: #323232;
    border-color: #000000;
    border-style: solid;
    border-width: 1px;
    border-radius: 10px;
    margin-bottom: 30px;
}

.box-title {
    background-color: #000000;
    border-top-left-radius: 9px;
    border-top-right-radius: 9px;
    font-weight: bold;
    padding: 10px;
}

.compact .box-title {
    border-radius: 9px;
}

.box-text {
    padding: 15px 10px;
}

.active {
    border-color: #005a1e;
}

.active .box-title {
    background-color: #005a1e;
}

.pass {
    border-color: #003566;
}

.pass .box-title {
    background-color: #003566;
}

.fail {
    border-color: #c80000;
}

.fail .box-title {
    background-color: #c80000;
}

.standout {
    border-color: #4c0080;
}

.standout .box-title {
    background-color: #4c0080;
}