diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 21:36:07 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 21:36:07 +0100 |
commit | e75daaf6d0e19b731d978a3bc05c243f7b8b6157 (patch) | |
tree | 8e28a045e90994c995fa99cad24ef6525ab8d3f8 /site/style | |
parent | Try to avoid long lines in StronglySpecifiedFunctions.v (diff) |
Tweak the CSS
Diffstat (limited to 'site/style')
-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; } |