pre.prettyprint {
	border: none !important;
}