Change font size

on Linux system, put the following contents in to "~/.config/SourceWeb.conf" will override the default font specified in the source code.

default_font_face=WenQuanYi Micro Hei Mono
default_font_size=12
source_font_face=WenQuanYi Micro Hei Mono
source_font_size=12