@media all {

	.red {
			color:red;
	}

	.hl {
			background:rgb(220, 220, 250);
	}

	.nothl {
			background:rgb(255, 255, 255);
	}
}