--- a/src/Tools/jEdit/src/proofdocument/html_panel.scala Tue Dec 08 21:54:34 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/html_panel.scala Tue Dec 08 22:38:32 2009 +0100
@@ -43,10 +43,11 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
-<style media="all" type="text/css">""" +
+<style media="all" type="text/css">
+""" +
try_file("$ISABELLE_HOME/lib/html/isabelle.css") + "\n" +
- "body { font-family: " + sys.font_family + "; font-size: " + font_size + "px }\n" +
try_file("$ISABELLE_HOME_USER/etc/isabelle.css") + "\n" +
+ "body { font-family: " + sys.font_family + "; font-size: " + font_size + "px }" +
"""
</style>
</head>