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 | |
parent | Try to avoid long lines in StronglySpecifiedFunctions.v (diff) |
Tweak the CSS
Diffstat (limited to 'site')
-rw-r--r-- | site/index.html | 2 | ||||
-rw-r--r-- | site/style/main.css | 12 |
2 files changed, 12 insertions, 2 deletions
diff --git a/site/index.html b/site/index.html index b0e3609..0fa4132 100644 --- a/site/index.html +++ b/site/index.html @@ -2,7 +2,7 @@ <html lang="en"> <head> <meta charset="utf-8"> - <meta name="viewport" content="width=device-width, user-scalable=no"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/fork-awesome@1.1.7/css/fork-awesome.min.css" integrity="sha256-gsmEoJAws/Kd3CjuOQzLie5Q3yshhvmo7YNtBG7aaEY=" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/tonsky/FiraCode@1.207/distr/fira_code.css"> <link rel="stylesheet" href="https://edwardtufte.github.io/et-book/et-book.css"> 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; } |