# HG changeset patch
# User kleing
# Date 1081806833 -7200
# Node ID f4fa346a0b465f234a568de83388b17ac9622212
# Parent  0a7743e2f8dd727d1b353906dcd0705c967ccb36
use css in generated web pages

diff -r 0a7743e2f8dd -r f4fa346a0b46 lib/html/isabelle.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/html/isabelle.css	Mon Apr 12 23:53:53 2004 +0200
@@ -0,0 +1,28 @@
+/* css style file for generated Isabelle HTML output */
+
+body { background-color: #FFFFFF; }
+
+.tclass { color: red; }
+.tfree  { color: purple; }
+.tvar   { color: purple; }
+.free   { color: blue; }
+.bound  { color: green; }
+.var    { color: blue; }
+.xstr   { color: brown; }
+
+.name     { font-style: italic; }
+.keyword  { font-weight: bold; }
+.filename { font-family: fixed; }
+
+.head     { background-color: #FFFFFF; }
+.source   { background-color: #F0F0F0; padding: 10px; }
+.theorems { background-color: #E0E0E0; padding: 10px; }
+
+.mlsource { background-color: #F0F0F0; padding: 10px; }
+.mlfooter { background-color: #FFFFFF; }
+
+.theories { background-color: #F0F0F0; padding: 10px; }
+.sessions { background-color: #F0F0F0; padding: 10px; }
+
+/* hide hr for this style */
+hr { height: 0px; border: 0px; }