-
Andreas Herten authored
This is, in part, in anticipation of changes to the progress bar. In the past I had troubles with computing numbers when documents reach a 150 pages. For the current implementation of the progress bar this might not be the case, because it uses TikZ. But: Let's see.
3e587c16