html {
	font: 100%/1.5 "DejaVu Sans", Verdana, Geneva, sans-serif;
}