From e4b1784199912b0f7f8b032c33215ae8dcfdc7bf Mon Sep 17 00:00:00 2001
From: Marek Felsoci <marek.felsoci@inria.fr>
Date: Wed, 18 Mar 2020 20:18:46 +0100
Subject: [PATCH] font style

---
 public/readtheorginria/css/readtheorginria.css | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/public/readtheorginria/css/readtheorginria.css b/public/readtheorginria/css/readtheorginria.css
index 864970e..e96127b 100644
--- a/public/readtheorginria/css/readtheorginria.css
+++ b/public/readtheorginria/css/readtheorginria.css
@@ -6,37 +6,36 @@
 
 h1, h2, h3, h4, h5, h6, legend {
   font-family: sans-serif;
-  font-weight: 700;
+  font-weight: bold;
   margin-top: 0;
 }
 
 h1 {
-  font-size: 20pt;
+  font-size: 18pt;
 }
 
 .subtitle {
-  font-size: 16pt; /* of h1 */
+  font-size: 14pt; /* of h1 */
 }
 
 h2 {
-  font-size: 18pt;
+  font-size: 16pt;
 }
 
 h3 {
-  font-size: 16pt;
+  font-size: 14pt;
 }
 
 h4 {
-  font-size: 14pt;
+  font-size: 12pt;
 }
 
 h5 {
-  font-size: 12pt;
+  font-size: 10pt;
 }
 
 h4, h5, h6 {
   color: #E63312;
-  font-weight: 300;
 }
 
 html {
@@ -62,7 +61,7 @@ body {
   background: #FCFCFC;
   height: 100%;
   margin-left: 300px;
-  max-width: 1200px;
+  max-width: 60%;
   min-height: 100%;
   padding: 1.618em 3.236em;
 }
-- 
GitLab