From 43fa0b4f63e4cfd29f19c5aa2154068df50cf754 Mon Sep 17 00:00:00 2001 From: Roman Reiss Date: Wed, 5 Jun 2019 19:36:05 +0200 Subject: [PATCH] doc: adjust TOC margins --- doc/api_assets/style.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index d5220e816810f6..bdef22b04f78c9 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -353,10 +353,13 @@ hr { #toc h2 { margin-top: 0; - line-height: 0; margin: 1.5rem 0; } +#toc p { + margin: 0; +} + #toc ul a { text-decoration:none; }