Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_status.scala
changeset 65941 316c30b60ebc
parent 65940 9c7241798c3b
child 65942 864a4892e43c 
--- a/src/Pure/Admin/build_status.scala	Fri May 26 23:33:42 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sat May 27 00:30:48 2017 +0200
@@ -262,7 +262,8 @@
       if (x == 0L) None else Some(x.toString + " M")
 
     HTML.write_document(target_dir, "index.html",
-      List(HTML.title("Isabelle build status")),
+      List(HTML.title("Isabelle build status"),
+        HTML.style("pre { margin: 1px; white-space: pre-wrap; }")),
       List(HTML.chapter("Isabelle build status"),
         HTML.par(
           List(HTML.description(
isabelle