On Mon, Jan 03, 2022 at 12:38:09PM +0100, Patrice Dumas wrote:
> > > This is customized with the OVERVIEW_LINK_TO_TOC variable. It's not easy
> > > to find this out because the manual calls it the "Overview" and not the
> > > "Short Table of Contents":
> > >
> > > 'OVERVIEW_LINK_TO_TOC'
> > >
On Fri, Dec 24, 2021 at 05:33:59PM +0100, Patrice Dumas wrote:
> On Thu, Dec 23, 2021 at 04:55:36PM +, Gavin Smith wrote:
> > On Tue, Dec 21, 2021 at 09:28:45PM +, Gavin Smith wrote:
> >
> > > > > You could add @shortcontents at the start of the document to get a
> > > > > list
> > > > >
On Sun, Jan 02, 2022 at 08:20:18AM +, Werner LEMBERG wrote:
>
> The nice thing is that it would work out of the box with HTML
> browsers, too. On the other hand, maybe there could be some further
> massaging to convert U+2007 to an ordinary space entity together with
> some formatting CSS so
