summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--styles/doc.css19
1 files changed, 0 insertions, 19 deletions
diff --git a/styles/doc.css b/styles/doc.css
deleted file mode 100644
index 97d2025..0000000
--- a/styles/doc.css
+++ /dev/null
@@ -1,19 +0,0 @@
-body {
- font-family: verdana;
- font-size: 80%;
-}
-
-ul#changelog li {
- font-weight: bold;
- list-style-type: none;
- margin-bottom: 1em;
-}
-
-ul#changelog li li {
- font-weight: normal;
- margin-bottom: 0em;
-}
-
-code {
- font-size: 120%;
-}