[name=compressed] {
	color: red;
	font-weight: bold;
}