dmt/style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107

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;
}