[gtk3] Use DejaVu Sans 10 for font
[gtk2] Add a bunch of settings to gtkrc.mine