From d6e9e6e791bc601634f492b4fb0025dddd5d6e20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=A1=D0=B8=D0=BC=D0=B5=D0=BE=D0=BD=20=D0=A6=D0=B2=D0=B5?=
 =?UTF-8?q?=D1=82=D0=BA=D0=BE=D0=B2?= <sicvetkov@uni-sofia.bg>
Date: Mon, 24 Aug 2020 11:06:41 +0000
Subject: [PATCH] Update pandoc.css

---
 doc/pandoc.css | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/pandoc.css b/doc/pandoc.css
index b211e0f5d..054144b46 100644
--- a/doc/pandoc.css
+++ b/doc/pandoc.css
@@ -6,10 +6,10 @@ body {
 }
 
 h1 {
-  margin: 0px 140px 0px 140px;
+  margin: 0 140px 0 140px;
   font-size: 300%;
   text-align: center;
-  padding: 0px 0px 10px 0px;
+  padding: 0 0 10px 0;
   font-weight: normal;
 }
 
@@ -18,20 +18,20 @@ h1 #title {
 }
 
 h2 {
-  margin: 0px 15px 0px 15px;
+  margin: 0 15px 0 15px;
   font-size: 200%;
-  padding: 10px 0px 0px 0px;
+  padding: 10px 0 0 0;
   text-transform: capitalize;
 }
 
 h3 {
-  margin: 0px 40px 0px 40px;
+  margin: 0 40px 0 40px;
   font-size: 120%;
-  padding: 10px 0px 0px 0px;
+  padding: 10px 0 0 0;
 }
 
 p > code, li > code {
-  color: #000000;
+  color: #000;
   background-color: #b0ecff;
   border: 1px solid blue;
   padding-left: 2px;
@@ -39,7 +39,7 @@ p > code, li > code {
 }
 
 pre {
-  color: #000000;
+  color: #000;
   background-color: #b0ecff;
   border: 1px solid blue;
   padding: 2px;