.kop2 {
	color: #ff9900;
	}
	
.kop3 {
	color: #666666;
	}

.highlight {
 	color: #ff9900;
	}

strong.pipe {
 	color: #ff9900;
        }