# HG changeset patch
# User wenzelm
# Date 1308402693 -7200
# Node ID 55866987a7d9d63cc86aad7399e6e7ebd76127e1
# Parent  13afd4634ac3ddc8c8adb1bb451d4a398ae771f5
proper place for config files;

diff -r 13afd4634ac3 -r 55866987a7d9 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; }
+
diff -r 13afd4634ac3 -r 55866987a7d9 lib/html/isabelle.css
--- 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; }
-
diff -r 13afd4634ac3 -r 55866987a7d9 src/Pure/Thy/present.ML
--- 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")