diff options
Diffstat (limited to 'site/style/main.css')
-rw-r--r-- | site/style/main.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/site/style/main.css b/site/style/main.css index f997fd2..638583d 100644 --- a/site/style/main.css +++ b/site/style/main.css @@ -3,8 +3,8 @@ } body, html { - height: 100%; width: 100%; + height: 100%; padding: 0; margin: 0; font-size: 100%; @@ -30,7 +30,9 @@ h1 { body#default { max-width: 500px; margin: auto; + padding: 1em; font-size: 130%; + overflow-x: hidden; } /* coqdoc output */ @@ -39,6 +41,14 @@ body#default .code, code { font-family: 'Fira Code', monospace; } +body#default div.code { + white-space: nowrap; +} + +body#default .code { + overflow-x: visible; +} + body#default .code a[href] { text-decoration: none; } |