Comment Comment by masklinn Indeed the font size is way too small, both for the font and in general. parent masklinn 6 years ago