# HG changeset patch
# User wenzelm
# Date 1496351831 -7200
# Node ID b7cea81462852209deec430b97066ce81e5bed76
# Parent  58aa6749ff36ef1a16f2889414750fbf5f8b4197
proper markup for IsabelleText font;

diff -r 58aa6749ff36 -r b7cea8146285 src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Thu Jun 01 23:12:48 2017 +0200
+++ b/src/Pure/Thy/html.scala	Thu Jun 01 23:17:11 2017 +0200
@@ -170,7 +170,7 @@
   def image(src: String, alt: String = ""): XML.Elem =
     XML.Elem(Markup("img", List("src" -> src) ::: proper_string(alt).map("alt" -> _).toList), Nil)
 
-  def source(src: String): XML.Elem = div("source", List(pre(text(src))))
+  def source(src: String): XML.Elem = pre("source", text(src))
 
   def style(s: String): XML.Elem = XML.elem("style", text(s))