From 0e1aace79694880925d5080a5608f139c5b63fc8 Mon Sep 17 00:00:00 2001 From: Nikolaus Schulz Date: Mon, 28 Mar 2011 23:07:03 +0200 Subject: 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; -- cgit v1.2.3