changeset 65988 | 8040d2563593 |
parent 65982 | 5b8fafde7d64 |
child 65989 | 68cd15585f46 |
--- a/etc/isabelle.css Wed May 31 20:43:59 2017 +0200 +++ b/etc/isabelle.css Wed May 31 21:37:50 2017 +0200 @@ -40,6 +40,8 @@ .theories { background-color: #FFFFFF; padding: 10px; } .sessions { background-color: #FFFFFF; padding: 10px; } +.sessions pre { margin: 0px; } + .name { font-style: italic; } .filename { font-family: fixed; }