div.inner {
	border: solid 1px #aaf;
}
.srcbox .inner.no-stretcher {
	max-height: none;
	min-height: 0px;
}
div.diff {
	padding: 0px;
	border: solid 1px #aaf;
	min-width: fit-content;
}
.inner pre.quote {
	border: solid 1px #aaf;
}
.diff p {
	margin: 0em;
	line-height: 1;
	font-size: 90%;
	padding: 0.15em 2px;
	white-space: pre;
	background-color: #f8f8f8;
	color: #99c;
}
.diff p.hunk {
	background-color: #eff;
	font-weight: bold;
	color: #0af;
	border-bottom: 1px solid #8cf;
}
.diff p.hunk:not(:first-child) {
	border-top: 1px solid #08f;
}
.diff p.added {
	background-color: #f8fff8;
	color: #0a0;
	font-weight: bold;
}
.diff p.removed {
	background-color: #fee;
	color: #f66;
	text-decoration: line-through;
}