tuned layout;
authorwenzelm
Sat May 27 00:30:48 2017 +0200 (2017-05-27)
changeset 65941316c30b60ebc
parent 65940 9c7241798c3b
child 65942 864a4892e43c
tuned layout;
etc/isabelle.css
src/Pure/Admin/build_status.scala
src/Pure/Thy/html.scala
     1.1 --- a/etc/isabelle.css	Fri May 26 23:33:42 2017 +0200
     1.2 +++ b/etc/isabelle.css	Sat May 27 00:30:48 2017 +0200
     1.3 @@ -114,7 +114,7 @@
     1.4    visibility: hidden;
     1.5    width: 40em;
     1.6    border: 1px solid #808080;
     1.7 -  padding: 3px 3px;
     1.8 +  padding: 1px 1px;
     1.9    background-color: #FFFFE9;
    1.10    position: absolute;
    1.11    z-index: 1;
     2.1 --- a/src/Pure/Admin/build_status.scala	Fri May 26 23:33:42 2017 +0200
     2.2 +++ b/src/Pure/Admin/build_status.scala	Sat May 27 00:30:48 2017 +0200
     2.3 @@ -262,7 +262,8 @@
     2.4        if (x == 0L) None else Some(x.toString + " M")
     2.5  
     2.6      HTML.write_document(target_dir, "index.html",
     2.7 -      List(HTML.title("Isabelle build status")),
     2.8 +      List(HTML.title("Isabelle build status"),
     2.9 +        HTML.style("pre { margin: 1px; white-space: pre-wrap; }")),
    2.10        List(HTML.chapter("Isabelle build status"),
    2.11          HTML.par(
    2.12            List(HTML.description(
     3.1 --- a/src/Pure/Thy/html.scala	Fri May 26 23:33:42 2017 +0200
     3.2 +++ b/src/Pure/Thy/html.scala	Sat May 27 00:30:48 2017 +0200
     3.3 @@ -137,6 +137,8 @@
     3.4    def image(src: String, alt: String = ""): XML.Elem =
     3.5      XML.Elem(Markup("img", List("src" -> src) ::: proper_string(alt).map("alt" -> _).toList), Nil)
     3.6  
     3.7 +  def style(s: String): XML.Elem = XML.elem("style", text(s))
     3.8 +
     3.9  
    3.10    /* messages */
    3.11