--- stil.php	2001/10/27 16:54:50	1.10
+++ stil.php	2001/10/29 14:43:21	1.11
@@ -183,7 +183,7 @@
 }
 
 .library {
-	font-family: serif;
+	/* font-family: serif; */
 	font-size: 14px;
 }