--- /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; }
+
--- a/lib/html/isabelle.css Sat Jun 18 15:07:16 2011 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,50 +0,0 @@
-/* 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; }
-
--- a/src/Pure/Thy/present.ML Sat Jun 18 15:07:16 2011 +0200
+++ b/src/Pure/Thy/present.ML Sat Jun 18 15:11:33 2011 +0200
@@ -400,7 +400,7 @@
File.copy (Path.explode "~~/lib/browser/GraphBrowser.jar") html_prefix;
List.app (fn (a, txt) => File.write (Path.append html_prefix (Path.basic a)) txt)
(HTML.applet_pages name (Url.File index_path, name));
- File.copy (Path.explode "~~/lib/html/isabelle.css") html_prefix;
+ File.copy (Path.explode "~~/etc/isabelle.css") html_prefix;
List.app finish_html thys;
List.app (uncurry File.write) files;
if verbose then Output.raw_stderr ("Browser info at " ^ show_path html_prefix ^ "\n")