From 53607a71cf8a366402e43808e906f7055f64f2b4 Mon Sep 17 00:00:00 2001 From: Malfurious Date: Thu, 9 Nov 2023 21:11:41 -0500 Subject: dmt: Add stylesheet Signed-off-by: Malfurious --- dmt/style.css | 103 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 103 insertions(+) create mode 100644 dmt/style.css 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; +} -- cgit v1.2.3