From ab3299454fe59f19b6e8a459bbb06880cd2e23d9 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Fri, 9 Sep 2016 19:53:10 -0700
Subject: doc html: TOC indentation issue on Chrome.

* genman.txr: Hack: put <dd> before nested <dl> element
in table of contents. Without this, the nested lists
are rendered flush left by Google Chrome. With this, they
are indented. Chrome adds ugly whitespace around the embedded
definition lists, but it's better than no identation.
---
 genman.txr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/genman.txr b/genman.txr
index eab9fec7..1f20c11f 100644
--- a/genman.txr
+++ b/genman.txr
@@ -116,7 +116,7 @@ Content-type: text/html
               `<a href="#/" onclick="toggle(this, '@id')" class="toggle">@(if closed closedtxt opentxt)</a>`))
 @    (output :into TOC)
 @TOC
-<dl id="@id"@(if closed " style=\"display: none\"")>
+<dd><dl id="@id"@(if closed " style=\"display: none\"")>
 @    (end)
 @  (end)
 @(until)
-- 
cgit v1.2.3