From 52e97fe1150e5b1c4e4b6739d2fd54b604d8981b Mon Sep 17 00:00:00 2001 From: Mario Date: Thu, 2 May 2024 18:36:16 +0000 Subject: some css voodoo for the help menu --- doc/en/toc.html | 56 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) (limited to 'doc') diff --git a/doc/en/toc.html b/doc/en/toc.html index d2f2654a1..b1edef6d2 100644 --- a/doc/en/toc.html +++ b/doc/en/toc.html @@ -1,74 +1,74 @@
-
+