Self hosting of Fira Sans and various small fixes

1 files changed, 6 insertions, 3 deletions

diff --git a/site/style/main.css b/site/style/main.css
index 8a9c589..62f5e96 100644
--- a/site/style/main.css
+++ b/site/style/main.css
@@ -10,7 +10,7 @@ body, html {
     font-size: 100%;
     background: #29222E;
     color: #E0CEED;
-    font-family: 'et-book', serif;
+    font-family: serif;
 }
 
 h1, h2, h3, h4, h5, a[href] {
@@ -27,6 +27,10 @@ h1 {
 
 /* default */
 
+body#default {
+    overflow-x: hidden;
+}
+
 body#default nav {
     padding-top: 1em;
     padding-bottom: 1em;
@@ -68,11 +72,10 @@ body#default img {
 }
 
 body#default main {
-    max-width: 500px;
+    max-width: 550px;
     margin: auto;
     padding: 0em 1em 1em 1em;
     font-size: 130%;
-    overflow-x: hidden;
 }
 
 /* coqdoc output */