From a3800d8717a9a2a137db99a6c8d9d7be717fe610 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20T=C5=AFma?= Date: Wed, 30 Jun 2021 07:49:34 +0200 Subject: [PATCH] Improve documentation outline layout --- css/style.css | 6 ++++++ doc.html | 16 +++++++++------- 2 files changed, 15 insertions(+), 7 deletions(-) diff --git a/css/style.css b/css/style.css index 9de2ae8a..201119e3 100644 --- a/css/style.css +++ b/css/style.css @@ -297,3 +297,9 @@ h1.logo a span { width:100px; font-style:italic; } +#sidebar h5 { + margin-left:8px; +} +#outline { + margin:20px 0 0 20px; +} diff --git a/doc.html b/doc.html index 7acea33e..3a455274 100644 --- a/doc.html +++ b/doc.html @@ -328,13 +328,15 @@