Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
all
-
None
Description
I have my web browser configured to use a sans serif font as the default which looks best for most material but the fonts specified in styles.css look pretty ugly and are hard to read. I propose the following patch to allow user font preferences to prevail: --- styles.css~ 2004-02-24 12:43:03.000000000 -0800 +++ styles.css 2004-03-11 09:53:08.000000000 -0800 @@ -16,7 +16,6 @@ H1 { - font-family: times new roman,times,serif; font-size: 250%; font-style: normal; font-weight: bold; @@ -25,7 +24,6 @@ H2 { - font-family: times new roman,times,serif; font-size: 150%; font-style: normal; font-weight: bold; @@ -34,7 +32,6 @@ H3 { - font-family: times new roman,times,serif; font-size: 125%; font-style: normal; font-weight: bold; @@ -43,7 +40,6 @@ H4 { - font-family: times new roman,times,serif; font-size: 100%; font-style: normal; font-weight: bold; @@ -52,7 +48,6 @@ P,LI,UL,OL,DD,DT,TD { - font-family: times new roman,times,serif; font-style: normal; font-weight: normal; color: black; @@ -60,7 +55,6 @@ TT,PRE { - font-family: courier new,courier,fixed; font-style: normal; font-weight: normal; color: black; @@ -89,7 +83,6 @@ .author { - font-family: times new roman,times,serif; font-size: 100%; font-style: italic; font-weight: normal;
Original issue reported by ruiner