1 files changed, 103 insertions, 0 deletions
diff --git a/dmt/style.css b/dmt/style.css
new file mode 100644
index 0000000..5d783b6
--- /dev/null
+++ b/dmt/style.css
@@ -0,0 +1,103 @@
+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;
+}
+
+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;
+}
+
+.remove {
+    border-color: #4c0080;
+}
+
+.remove .box-title {
+    background-color: #4c0080;
+}