Don't override the browser's default serif font. It's probably better than
authorSimon Law <sfllaw@csclub.uwaterloo.ca>
Fri, 13 Feb 2004 11:45:57 +0000 (11:45 +0000)
committerSimon Law <sfllaw@csclub.uwaterloo.ca>
Fri, 13 Feb 2004 11:45:57 +0000 (11:45 +0000)
    bad-old bitmapped times.

default.css

index 0ad46e9..c5d8920 100755 (executable)
@@ -1,5 +1,4 @@
-body {background: white; color: black; font-family: times, "times new roman",
-      sans-serif}
+body {background: white; color: black; font-family: serif}
 h1 {font-size: x-large; }
 h2 {font-size: large; color: #000055; }
 h3 {font-size: medium; color: #0055aa; }
@@ -15,4 +14,4 @@ td.eventitem { background: white; text-align: left}
 td.eventroom { background: #eeffee; font-family: sans-serif; font-size: x-small; text-align: center}
 th.news { background: #222255; color: white; font-family: sans-serif; font-size: x-small; text-align: left; }
 td.pagetitle { font-size: large; font-weight: bold; }
-th { background: #002288; color: white; }
\ No newline at end of file
+th { background: #002288; color: white; }