From 1d76709b910e260b77e29ed84afc52bb77d10da5 Mon Sep 17 00:00:00 2001
From: Frankie B <floppydisk05@aol.com>
Date: Fri, 16 Sep 2022 23:07:51 +0000
Subject: Rename .min.css files to .css

---
 res/css/dark.min.css | 68 ----------------------------------------------------
 1 file changed, 68 deletions(-)
 delete 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
deleted file mode 100755
index ebfa8a8..0000000
--- a/res/css/dark.min.css
+++ /dev/null
@@ -1,68 +0,0 @@
-/*
-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