gtk: new font and theme; introduce gtk3