Changed font-family of body.

nahi · Aug 10, 2000 · 1c27e26 · 1c27e26
1 parent 631f113
commit 1c27e26
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/html/kinoStyle.css b/doc/html/kinoStyle.css
@@ -2,14 +2,15 @@
  * kinoStyle.css: CSS style definition file for `KINO documents'.
  */
 
-/* $Id: kinoStyle.css,v 1.3 2000-05-07 11:42:02 nakahiro Exp $ */
+/* $Id: kinoStyle.css,v 1.4 2000-08-10 10:57:07 nakahiro Exp $ */
 
 body
 {
     color: black;
     background: #EEEEEE;
     margin-left: 2%;
     margin-right: 2%;
+    font-family: Georgia, "Times New Roman", "Times Roman", Times;
 }
 
 h1