From ef39c231bf165fb50545e9046f8358e9e25fb07c 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