Re: [Github-comments] [geany/www.geany.org] Font size (#17)