From 806b91f1040d75ca5331445272ecc46adac1c9ef Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 7 Apr 2005 08:17:04 +0000
Subject: * GC docs.

---
 doc/manual/style.css | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'doc/manual/style.css')

diff --git a/doc/manual/style.css b/doc/manual/style.css
index 544acb61eba2..533104229953 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -230,8 +230,3 @@ table.productionset table.productionset
 {
     font-family: monospace;
 }
-
-a[href] {
-    text-decoration: none;
-    border-bottom: 1px dotted #005aa0;
-}
-- 
cgit 1.4.1