code#highlighted_regex {
	background-color: lightgrey;
	font-family: monospace;
	display: block;
	padding: 10px;
	font-size: 30px;
}

code .highlighted {
	color: orange;
}

code .underlined {
	text-decoration: underline;
	color: blue;
}

code .matching-parens {
	color: magenta;
}

.readable-container {
	padding-left: 5px;
	border-left: 3px solid grey;
}

.readable-selected {
	color: blue;
	border-left: 3px solid blue;
}