Change font-size to 12px on Linux (issue 7004)