Commit f41dfbf5 authored by Tim Barnes's avatar Tim Barnes
Browse files

Set dynamic users-guide TOC spacing (fixes #18554)

parent 6815603f
Pipeline #27815 passed with stages
in 394 minutes and 56 seconds
......@@ -101,6 +101,9 @@ latex_elements = {
\setmonofont{DejaVu Sans Mono}
\setlength{\tymin}{45pt}
% Dynamic section number spacing. Fixes #18554
\renewcommand{\numberline}[1]{#1~}
% Avoid a torrent of over-full \hbox warnings
\usepackage{microtype}
\hbadness=99999
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment