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 layout;
authorwenzelm
Wed, 31 May 2017 21:48:32 +0200
changeset 65989 68cd15585f46
parent 65988 8040d2563593
child 65990 868089ee9d60
child 66003 5b2fab45db92
tuned layout;
etc/isabelle.css file | annotate | diff | comparison | revisions
src/Pure/Thy/present.scala file | annotate | diff | comparison | revisions 
--- a/etc/isabelle.css	Wed May 31 21:37:50 2017 +0200
+++ b/etc/isabelle.css	Wed May 31 21:48:32 2017 +0200
@@ -40,8 +40,6 @@
 .theories { background-color: #FFFFFF; padding: 10px; }
 .sessions { background-color: #FFFFFF; padding: 10px; }
 
-.sessions pre { margin: 0px; }
-
 .name     { font-style: italic; }
 .filename { font-family: fixed; }
 
--- a/src/Pure/Thy/present.scala	Wed May 31 21:37:50 2017 +0200
+++ b/src/Pure/Thy/present.scala	Wed May 31 21:48:32 2017 +0200
@@ -53,10 +53,10 @@
        (if (sessions.isEmpty) Nil
         else
           List(HTML.css_class("sessions")(HTML.div(List(
-            HTML.itemize(
+            HTML.description(
               sessions.map({ case (name, description) =>
-                HTML.link(name + "/index.html", HTML.text(name)) ::
-                 (if (description == "") Nil
+                (List(HTML.link(name + "/index.html", HTML.text(name))),
+                  if (description == "") Nil
                   else List(HTML.pre(HTML.text(description)))) }))))))))
   }
isabelle