/*
 * regex.css
 */
pre#output {
	font-size: 6.7pt;
	text-align: left;
}
div.sprache {
	border: 1px solid black;
	margin: 3pt;
	padding: 3pt;
	width: 100px;
	float: left;
	background-color: #ffcc99;
}