Set a smaller font size in linux