diff -r 8040d2563593 -r 68cd15585f46 etc/isabelle.css
--- 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; }