From 1d76709b910e260b77e29ed84afc52bb77d10da5 Mon Sep 17 00:00:00 2001 From: Frankie B Date: Fri, 16 Sep 2022 23:07:51 +0000 Subject: Rename .min.css files to .css --- res/css/dark.css | 72 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 72 insertions(+) create mode 100755 res/css/dark.css (limited to 'res/css/dark.css') diff --git a/res/css/dark.css b/res/css/dark.css new file mode 100755 index 0000000..5c66ade --- /dev/null +++ b/res/css/dark.css @@ -0,0 +1,72 @@ +/* +This stylesheet contains only colors which are +different depending on theme. All other styles have +been moved to global.css and imported below. +*/ +@import url('global.css'); + +html { + color-scheme: dark; +} + +div.project pre { + border: 1px solid #666666 +} + +body { + color: #ddd; + background-color: #333; +} + +h1 { + color: #fff; +} + + +h2 { + color: #fff; +} + +h3 { + color: #fff; +} + + + +div.preview pre, div.project pre { + background-color: #222; + color: #ccc; +} + +a { + color: #99f; + text-decoration: none +} +.header { + color: #fff; +} + + +.header .pagetree { + color: #fff; +} + +.header .pagetree .title { + color: #fff +} + + +table.skami .semiused { + color: #ccc; + background-color: #444; + border-color: #FFF; +} + +table.skami .unused { + color: #bbb; + background-color: #555 +} + +table { + border-color: #fff +} \ No newline at end of file -- cgit v1.2.3-54-g00ecf