src/Pure/Admin/build_status.scala
changeset 65941 316c30b60ebc
parent 65940 9c7241798c3b
child 65942 864a4892e43c
     1.1 --- a/src/Pure/Admin/build_status.scala	Fri May 26 23:33:42 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sat May 27 00:30:48 2017 +0200
     1.3 @@ -262,7 +262,8 @@
     1.4        if (x == 0L) None else Some(x.toString + " M")
     1.5  
     1.6      HTML.write_document(target_dir, "index.html",
     1.7 -      List(HTML.title("Isabelle build status")),
     1.8 +      List(HTML.title("Isabelle build status"),
     1.9 +        HTML.style("pre { margin: 1px; white-space: pre-wrap; }")),
    1.10        List(HTML.chapter("Isabelle build status"),
    1.11          HTML.par(
    1.12            List(HTML.description(