On Friday, 22 January 2016 at 10:12:31 UTC, JR wrote: > (This holds for the normal desktop too, to a certain subjective > extent.) The feedback thread is https://forum.dlang.org/post/bmjujolcjxcabshiwueo@forum.dlang.org I find padding and font size ok on desktop: http://abload.de/img/tmpr1px5.png