Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Sat, 27 May 2017 12:57:57 +0200
changeset 65945 35652d0834f4
parent 65944 79e4d94aa9ad
child 65946 5dd3974cf0bc
tuned signature;
etc/isabelle.css file | annotate | diff | comparison | revisions
src/Pure/Admin/build_status.scala file | annotate | diff | comparison | revisions 
--- a/etc/isabelle.css	Sat May 27 12:52:36 2017 +0200
+++ b/etc/isabelle.css	Sat May 27 12:57:57 2017 +0200
@@ -119,3 +119,5 @@
   position: absolute;
   z-index: 1;
 }
+
+.tooltip pre { margin: 1px; white-space: pre-wrap; }
--- a/src/Pure/Admin/build_status.scala	Sat May 27 12:52:36 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sat May 27 12:57:57 2017 +0200
@@ -259,8 +259,7 @@
       if (x == 0L) None else Some(x.toString + " M")
 
     HTML.write_document(target_dir, "index.html",
-      List(HTML.title("Isabelle build status"),
-        HTML.style("pre { margin: 1px; white-space: pre-wrap; }")),
+      List(HTML.title("Isabelle build status")),
       List(HTML.chapter("Isabelle build status"),
         HTML.par(
           List(HTML.description(
isabelle