From cbc62b2a88ff735fcf7078abbed9e4e0ec418b59 Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Thu, 10 Oct 2013 02:46:38 +0200
Subject: Remove site-related files

New script generates site automatically.
---
 site/stylesheet.css | 68 -----------------------------------------------------
 1 file changed, 68 deletions(-)
 delete mode 100644 site/stylesheet.css

(limited to 'site/stylesheet.css')

diff --git a/site/stylesheet.css b/site/stylesheet.css
deleted file mode 100644
index b661f7f..0000000
--- a/site/stylesheet.css
+++ /dev/null
@@ -1,68 +0,0 @@
-a
-{
-    color: #6d97bf;
-}
-
-a:visited
-{
-    color: #b27dbf;
-}
-
-body
-{
-    font-family: "DejaVu Sans", sans-serif;
-    background-color: #222224;
-    color: #eeeeec;
-}
-
-code,
-pre
-{
-    font-family: "Envy Code R", monospace;
-}
-
-h3, h4,
-.outline-text-2,
-.outline-text-3,
-.outline-text-4
-{
-    margin-left: 20px;
-}
-
-pre
-{
-    background-color: #111113;
-    color: #eeeeec;
-    border: 1px solid #a5a5a4;
-    border-radius: 2px;
-}
-
-ul
-{
-    margin-left: -20px;
-}
-
-#content
-{
-    width: 700px;
-}
-
-#org-div-home-and-up
-{
-    width: 750px;
-}
-
-#postamble
-{
-    font-size: 12px;
-    padding: 3px 5px;
-    border: 1px solid #a5a5a4;
-    width: 690px;
-}
-
-#postamble p
-{
-    margin: 0;
-    padding: 0;
-    line-height: 1.3em;
-}
-- 
cgit v1.2.3-54-g00ecf