/* CSS für RegExp Tester */

	.searchHighlighter {
	
		color: darkgreen;
		font-weight: bold;
	}