static/main.css at ed7f35f52927

53:ed7f35f52927

Anton Shestakov <av6@dwimlabs.net>, Thu, 23 Jun 2016 14:58:09 +0800

checker: try and catch exceptions from execute() and somewhat finish the job Exceptions coming from execute() are programming errors in checker.py, but jobs still need to tell that they are finished (and failed) to be processed by incoming.py.

next change	64:ef5755f23a35
previous change	44:1c2db26fa4bd

static/main.css

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison

Other formats:

JSON Raw

Feeds:

Atom RSS

@media (min-width: 768px) {
    .list-terse > dt {
        width: 120px;
    }
    .list-terse > dd {
        margin-left: 130px;
    }
}
.uk-badge-unknown {
    background: #898989;
}
.check-log {
    background: #3c3c3c;
    color: white;
    border-color: #2a2a2a;
    font-size: 13px;
    white-space: pre-wrap;
    word-break: break-all;
    word-wrap: break-word;
}
.check-log div {
    padding: 0 0 0 42px;
    margin: 0;
}
.check-log div:target {
    background: #4c4c4c;
}
.check-log a.lineno {
    display: inline-block;
    text-align: right;
    min-width: 42px; /* 4 digits */
    margin-left: -42px;
    text-decoration: none;
    color: #929292;
}
.check-log a.lineno::before {
    content: attr(data-line-number);
    padding-right: 10px;
}
.check-log .error {
    color: #f277a1;
}
.check-log .warning {
    color: #f1bf8e;
}
.check-log .task {
    color: #bb84b4;
}
.check-log .meta {
    color: #929292;
}