added the default font for GNU/linux system to size 12