search

fniessen / org-html-themes

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design
GNU General Public License v3.0
2.22k stars 435 forks source link

Fix minitoc #158

Closed olberger closed 1 year ago

olberger commented 2 years ago

This would address #157 .

Note that I make a distinction between searching the whole doc contents or just the current section, as I've adapted bigblow to not tabify main sections.

Hope this fixes the TOC :-)

fniessen commented 1 year ago

@olberger Thanks!