diff --git a/frontend/ui/data/css_tweaks.lua b/frontend/ui/data/css_tweaks.lua index fa8f10618..941cfcc7c 100644 --- a/frontend/ui/data/css_tweaks.lua +++ b/frontend/ui/data/css_tweaks.lua @@ -591,7 +591,7 @@ width: 100% !important; { title = _("About alternative ToC"), info_text = _([[ -An alternative table of contents can be built from the "Table of contents" settings menu. +An alternative table of contents can be built via a dedicated option in the "Settings" menu below the "Table of contents" menu entry. The ToC will be built from document headings