From 90b55d8e8deea83c704b3c115bf5dc0ee0f2f722 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Tue, 20 Feb 2024 10:32:02 +0100
Subject: [PATCH] doku: tweak fonts and stuff

---
 roles/dokuwiki/files/userstyle.css | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/roles/dokuwiki/files/userstyle.css b/roles/dokuwiki/files/userstyle.css
index 01b3ca1..8109352 100644
--- a/roles/dokuwiki/files/userstyle.css
+++ b/roles/dokuwiki/files/userstyle.css
@@ -5,10 +5,18 @@ a.windows {
 	background: none !important;
 }
 
+body {
+	font: unset;
+}
+
 .dokuwiki div.page {
 	padding: 2em 2.5em;
 }
 
+.logo a img {
+	display: none;
+}
+
 .page h2,
 .page h3,
 .page h4 {
@@ -16,18 +24,19 @@ a.windows {
 }
 
 .page p, .page ol, .page ul {
-	line-height: 1.5em;
+	text-align: justify;
+	line-height: 1.6em;
 	margin: 0 0 0.5em;
 }
 
-.page code,
-.page pre {
-	font-size: 0.9em;
+.page code {
+	padding: 0 0.2em;
 }
 
 .page pre {
 	border-color: #eee;
 	box-shadow: none;
+	font-size: 0.9em;
 	margin: 0 1em 0.5em;
 	padding: 0.25em 0.5em;
 }