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 | |
parent | Try to avoid long lines in StronglySpecifiedFunctions.v (diff) |
Tweak the CSS
-rw-r--r-- | site/index.html | 2 | ||||
-rw-r--r-- | site/style/main.css | 12 | ||||
-rw-r--r-- | templates/main.html | 2 |
3 files changed, 13 insertions, 3 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; } diff --git a/templates/main.html b/templates/main.html index 0a6e3f8..f81774b 100644 --- a/templates/main.html +++ b/templates/main.html @@ -3,7 +3,7 @@ <head> <meta charset="utf-8"> <title> <!-- set automatically, see soupault.conf --> </title> - <meta name="viewport" content="width=device-width, user-scalable=no"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> <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"> |