A little more optimization work, client-side this time. I lied, no librijnadel2 here, but it's about to be merged in...

.sourceIframe {
	border: 1px solid #808080;
}