From 88e033f9985d9aec739c4497f51fb9348247d4db Mon Sep 17 00:00:00 2001 From: schwarze Date: Fri, 24 Jun 2022 11:15:19 +0000 Subject: [PATCH] Improve accessibility of -T html -O toc output by using the