# HG changeset patch
# User wenzelm
# Date 1495837848 -7200
# Node ID 316c30b60ebc331c0e39491bf16f2db7e27fe8ef
# Parent  9c7241798c3b2f01b7c5f20952087111983e78fc
tuned layout;

diff -r 9c7241798c3b -r 316c30b60ebc etc/isabelle.css
--- a/etc/isabelle.css	Fri May 26 23:33:42 2017 +0200
+++ b/etc/isabelle.css	Sat May 27 00:30:48 2017 +0200
@@ -114,7 +114,7 @@
   visibility: hidden;
   width: 40em;
   border: 1px solid #808080;
-  padding: 3px 3px;
+  padding: 1px 1px;
   background-color: #FFFFE9;
   position: absolute;
   z-index: 1;
diff -r 9c7241798c3b -r 316c30b60ebc src/Pure/Admin/build_status.scala
--- 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(
diff -r 9c7241798c3b -r 316c30b60ebc src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Fri May 26 23:33:42 2017 +0200
+++ b/src/Pure/Thy/html.scala	Sat May 27 00:30:48 2017 +0200
@@ -137,6 +137,8 @@
   def image(src: String, alt: String = ""): XML.Elem =
     XML.Elem(Markup("img", List("src" -> src) ::: proper_string(alt).map("alt" -> _).toList), Nil)
 
+  def style(s: String): XML.Elem = XML.elem("style", text(s))
+
 
   /* messages */