Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 31 May 2010 09:46:43 +0200
changeset 37202 382a56c9f295
parent 37201 8517a650cfdc
child 37203 c4261f3bbdd7
tuned;
src/Tools/jEdit/src/jedit/html_panel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/html_panel.scala	Sun May 30 23:42:03 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/html_panel.scala	Mon May 31 09:46:43 2010 +0200
@@ -107,7 +107,7 @@
 
   private def template(font_family: String, font_size: Int): String =
     template_head +
-    "body { font-family: " + font_family + "; font-size: " + raw_px(font_size) + "px }" +
+    "body { font-family: " + font_family + "; font-size: " + raw_px(font_size) + "px; }" +
     template_tail
isabelle