summaryrefslogtreecommitdiffstats
path: root/site/style
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 21:36:07 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 21:36:07 +0100
commite75daaf6d0e19b731d978a3bc05c243f7b8b6157 (patch)
tree8e28a045e90994c995fa99cad24ef6525ab8d3f8 /site/style
parentTry to avoid long lines in StronglySpecifiedFunctions.v (diff)
Tweak the CSS
Diffstat (limited to 'site/style')
-rw-r--r--site/style/main.css12
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;
}