Lowered default font size
Fixed <dead-tilde> on Ubuntu