etc/isabelle.css

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/isabelle.css	Sat Jun 18 15:11:33 2011 +0200
@@ -0,0 +1,50 @@
+/* style file for Isabelle XHTML/XML output */
+
+body { background-color: #FFFFFF; }
+
+.head     { background-color: #FFFFFF; }
+.source   { background-color: #F0F0F0; padding: 10px; }
+
+.external_source { background-color: #F0F0F0; padding: 10px; }
+.external_footer { background-color: #FFFFFF; }
+
+.theories { background-color: #F0F0F0; padding: 10px; }
+.sessions { background-color: #F0F0F0; padding: 10px; }
+
+.name     { font-style: italic; }
+.filename { font-family: fixed; }
+
+
+/* basic syntax markup */
+
+.hidden, hidden { font-size: 0.1pt; visibility: hidden; }
+
+.tclass, tclass               { color: red; }
+.tfree, tfree                 { color: #A020F0; }
+.tvar, tvar                   { color: #A020F0; }
+.free, free                   { color: blue; }
+.skolem, skolem               { color: #D2691E; }
+.bound, bound                 { color: green; }
+.var, var                     { color: #00009B; }
+.numeral, numeral             { }
+.literal, literal             { font-weight: bold; }
+.delimiter, delimiter         { }
+.inner_string, inner_string   { color: #D2691E; }
+.inner_comment, inner_comment { color: #8B0000; }
+
+.bold, bold  { font-weight: bold; }
+.loc, loc  { color: #D2691E; }
+
+.keyword, keyword      { font-weight: bold; }
+.operator, operator    { }
+.command, command      { font-weight: bold; }
+.ident, ident          { }
+.string, string        { color: #008B00; }
+.altstring, altstring  { color: #8B8B00; }
+.verbatim, verbatim    { color: #00008B; }
+.comment, comment      { color: #8B0000; }
+.control, control      { background-color: #FF6A6A; }
+.malformed, malformed  { background-color: #FF6A6A; }
+
+.malformed_span, malformed_span { background-color: #FF6A6A; }
+