From 8cfb858b77d276448a8075b482cf533397bf926b Mon Sep 17 00:00:00 2001 From: Frankie B Date: Tue, 5 Jul 2022 15:38:32 +0100 Subject: Add existing files --- res/css/dark.min.css | 68 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100755 res/css/dark.min.css (limited to 'res/css/dark.min.css') diff --git a/res/css/dark.min.css b/res/css/dark.min.css new file mode 100755 index 0000000..ebfa8a8 --- /dev/null +++ b/res/css/dark.min.css @@ -0,0 +1,68 @@ +/* +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'); + +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