From 4e8112b57532d20fe0551fde9d314d3382c1b069 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 13 Feb 2020 09:13:36 +0100
Subject: [PATCH] [doc/server] fix style
---
doc/pandoc/style.css | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/pandoc/style.css b/doc/pandoc/style.css
index 054b077e70c..ca197463697 100644
--- a/doc/pandoc/style.css
+++ b/doc/pandoc/style.css
@@ -135,7 +135,7 @@ h1 {
h2 {
width: 18cm;
font-family: "Optima", "Verdana", "Arial", sans;
- margin-top: 5mm;
+ margin-top: 16mm;
margin-bottom: 2mm;
border-bottom: solid thin darkred ;
}
@@ -158,7 +158,7 @@ h4,h5,h6 {
font-weight: bold;
}
-p { margin: 6px 0px 6px 0px; width: 15cm; }
+p { margin: 18px 0px 18px 0px; width: 15cm; }
ul,ol,blockquote {
margin-left: 24px ;
@@ -177,7 +177,7 @@ pre {
background-color: #eef ;
}
-pre,code { font-size: smaller ; color: #106000 }
+pre,code { color: #106000 }
hr {
border: none ;
--
GitLab