changeset 65837 | 9ee6a8d4499b |
parent 65089 | 1d219d76873b |
child 65891 | 586911118317 |
--- a/etc/isabelle.css Sun May 14 21:54:35 2017 +0200 +++ b/etc/isabelle.css Sun May 14 21:56:58 2017 +0200 @@ -16,6 +16,16 @@ src: url('fonts/Vacuous.ttf') format('truetype'); } + +/* standard document markup */ + +dt { + float: left; + clear: left; + padding-right: 0.5em; + font-weight: bold; +} + body { background-color: #FFFFFF; } .head { background-color: #FFFFFF; } @@ -65,4 +75,3 @@ .comment { color: #CC0000; } .improper { color: #FF5050; } .bad { background-color: #FF6A6A; } -