From 0e1aace79694880925d5080a5608f139c5b63fc8 Mon Sep 17 00:00:00 2001
From: Nikolaus Schulz <microschulz@web.de>
Date: Mon, 28 Mar 2011 23:07:03 +0200
Subject: [PATCH] Manpage & webpage CSS: drop font selections

There's no need to tell the visitor which fonts to use; she knows best
what she likes, so let her decide.
---
 style.css | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/style.css b/style.css
index 0b01382..7893786 100644
--- a/style.css
+++ b/style.css
@@ -1,6 +1,4 @@
 body { 
-    font-family: "Times New Roman", serif; 
-    font-size: 12pt; 
     padding: 2%; 
     line-height: 130%; 
     margin: 0; 
@@ -26,9 +24,6 @@ h2 {
     padding: 0; 
     font-size: 150%;
 }
-pre, tt, kbd, code, pre samp {
-   font-family: "Courier 10 Pitch", Courier, "Courier New", monospace;
-}
 img {border: none;}
 a {
     text-decoration: underline;