Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I don’t like the manual linespacing fix. In my opinion \textsc{\MakeLowercase{…}} should be replaced by \MakeUppercase{…} and the fontsize adjusted accordingly. 2pt shift of the progress bar doesn’t make sense as I see it. I therefore removed it.
- Loading branch information