The font sizes in headers in assignment text and lecture notes are much too large. It seems that these are the sizes used for page headers. In the context of notes and assignment texts much smaller sizes should be used.

Submitted by Eelco Visser on 20 February 2015 at 08:14

On 17 December 2015 at 16:46 Elmer van Chastelet tagged 0.46.1

On 17 December 2015 at 16:46 Elmer van Chastelet closed this issue.

Log in to post comments