Comment 16 for bug 160311

Paul: You also have the option of changing the theme size, of course.