From 9ccf02e3097d16eec7bf88862528ad2083b020df Mon Sep 17 00:00:00 2001
From: Ingo Schwarze <schwarze@openbsd.org>
Date: Mon, 3 Mar 2014 18:53:27 +0000
Subject: - remove index.html, it is now part of the website repo - install
 mandocdb, manpage, and apropos - and some general cleanup (e.g., installcgi
 is .PHONY)

---
 index.css | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 index.css

(limited to 'index.css')

diff --git a/index.css b/index.css
deleted file mode 100644
index d98316ea..00000000
--- a/index.css
+++ /dev/null
@@ -1,48 +0,0 @@
-html		{ min-width: 40em;
-		  margin-top: 2em;
-		  margin-left: auto;
-		  margin-right: auto;
-		  width: 80%; }
-
-body		{ text-align: justify; 
-		  font-family: Helvetica,Arial,sans-serif;
-		  line-height: 120%;
-		  font-size: small; }
-
-p,ul,table	{ margin-left: 3em; }
-
-p.head, 
-p.subhead,
-p.foot		{ margin-left: 0.0em; margin-right: 0.0em; }
-
-p.news		{ margin-left: 2.0em; }
-
-li		{ margin: 0.25em; }
-
-h1		{ font-size: 110%; }
-h2		{ font-size: 105%; margin-left: 1.5em }
-
-p.head		{ margin-bottom: 0.5em;
-		  border-bottom: 1px solid #dddddd; 
-		  padding-bottom: 0.2em; }
-
-p.subhead	{ margin-top: 0em; 
-		  margin-bottom: 1.75em; }
-
-p.foot		{ border-top: 1px solid #dddddd; 
-		  color: #666666;
-		  padding-top: 0.2em;
-		  margin-top: 1.75em; }
-
-span.nm		{ color: green; }
-
-span.file	{ font-style: italic; }
-
-span.attn	{ font-weight: bold; }
-
-span.flag	{ font-weight: bold; }
-
-a		{ text-decoration: none; }
-
-a.external 	{ background: transparent url(external.png) center right no-repeat; 
-		  padding-right: 12px; }
-- 
cgit v1.2.3-56-ge451