Fix small PDF sections on mobile (Caused by the wrapping div element that is required)
Caused by a weird css thing where the div is always at least as big as the font-size if it doesn't have a height assigned to it.
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Caused by a weird css thing where the div is always at least as big as the font-size if it doesn't have a height assigned to it.