proper markup for IsabelleText font;
authorwenzelm
Thu Jun 01 23:17:11 2017 +0200 (2017-06-01)
changeset 66001b7cea8146285
parent 66000 58aa6749ff36
child 66002 c85f677cfb0a
proper markup for IsabelleText font;
src/Pure/Thy/html.scala
     1.1 --- a/src/Pure/Thy/html.scala	Thu Jun 01 23:12:48 2017 +0200
     1.2 +++ b/src/Pure/Thy/html.scala	Thu Jun 01 23:17:11 2017 +0200
     1.3 @@ -170,7 +170,7 @@
     1.4    def image(src: String, alt: String = ""): XML.Elem =
     1.5      XML.Elem(Markup("img", List("src" -> src) ::: proper_string(alt).map("alt" -> _).toList), Nil)
     1.6  
     1.7 -  def source(src: String): XML.Elem = div("source", List(pre(text(src))))
     1.8 +  def source(src: String): XML.Elem = pre("source", text(src))
     1.9  
    1.10    def style(s: String): XML.Elem = XML.elem("style", text(s))
    1.11