From 7aa3c44bb8fa8738463f49fc780972a2be2137e9 Mon Sep 17 00:00:00 2001
From: oes <oes@users.sourceforge.net>
Date: Thu, 27 Mar 2003 11:36:53 +0000
Subject: [PATCH] No longer used

---
 doc/webserver/p_web.css | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 doc/webserver/p_web.css

diff --git a/doc/webserver/p_web.css b/doc/webserver/p_web.css
deleted file mode 100644
index 8eb2159a..00000000
--- a/doc/webserver/p_web.css
+++ /dev/null
@@ -1,11 +0,0 @@
-hr { width: 95% }
-body { background: #EEEEEE; }
-h1, h2, h3, h4 { font-family: arial, helvetica, sans-serif }
-code { color: green }
-pre { margin-left: 2% }
-# p { margin-left:20px }
-body { margin-left:20px }
-h1 { color: #404; font-size: 175%; margin-left:0px }
-h2 { color: #606; margin-left:0px }
-h3, h4 { color: #806; margin-left:0px }
-ul { list-style-type: square }
-- 
2.50.1