tuned signature;
authorwenzelm
Sat May 27 12:57:57 2017 +0200 (2017-05-27)
changeset 6594535652d0834f4
parent 65944 79e4d94aa9ad
child 65946 5dd3974cf0bc
tuned signature;
etc/isabelle.css
src/Pure/Admin/build_status.scala
     1.1 --- a/etc/isabelle.css	Sat May 27 12:52:36 2017 +0200
     1.2 +++ b/etc/isabelle.css	Sat May 27 12:57:57 2017 +0200
     1.3 @@ -119,3 +119,5 @@
     1.4    position: absolute;
     1.5    z-index: 1;
     1.6  }
     1.7 +
     1.8 +.tooltip pre { margin: 1px; white-space: pre-wrap; }
     2.1 --- a/src/Pure/Admin/build_status.scala	Sat May 27 12:52:36 2017 +0200
     2.2 +++ b/src/Pure/Admin/build_status.scala	Sat May 27 12:57:57 2017 +0200
     2.3 @@ -259,8 +259,7 @@
     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 -        HTML.style("pre { margin: 1px; white-space: pre-wrap; }")),
     2.9 +      List(HTML.title("Isabelle build status")),
    2.10        List(HTML.chapter("Isabelle build status"),
    2.11          HTML.par(
    2.12            List(HTML.description(