sazius at 2016-09-17T08:31:01Z

So, from this discussion I gather that what I have implemented in git master should be enough: i.e. there is an option to change the font size of the post contents. I should probably add it to the UI settings panel as well.