[toc] Make room for page numbers >= 1000 in table of contents.

Author: zygoloid

source/front.tex

@@ -5,6 +5,13 @@
 %%--------------------------------------------------
 %% The table of contents, list of tables, and list of figures
 \markboth{\contentsname}{}
+
+%%--------------------------------------------------
+%% Make a bit more room for our long page numbers.
+\makeatletter
+\renewcommand\@pnumwidth{2.5em}
+\makeatother
+
 \tableofcontents
 \setcounter{tocdepth}{5}
 \newpage