Defining font size explicitly. Tentatively fix #190.