From 8a15bac595fd96debe52dc437bd34f682564b2b6 Mon Sep 17 00:00:00 2001
From: Tim Meusel <tim@bastelfreak.de>
Date: Tue, 1 Oct 2019 14:52:15 +0200
Subject: delete legacy docs/ folder

We now have a REFERENCE.md in the repository. We don't need the docs/
folder anymore.
---
 docs/css/common.css | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 docs/css/common.css

(limited to 'docs/css/common.css')

diff --git a/docs/css/common.css b/docs/css/common.css
deleted file mode 100644
index d28b093..0000000
--- a/docs/css/common.css
+++ /dev/null
@@ -1,8 +0,0 @@
-/* Ensure the search bar doesn't overlap with links */
-.fixed_header {
-  padding-bottom: 25px;
-}
-
-#full_list {
-  padding-top: 15px;
-}
-- 
cgit v1.2.3