.rawtext {
	font-family: monospace;
	margin-bottom: -6px !important;
	border-bottom-left-radius: 3px !important;
	border-bottom-right-radius: 3px !important;
}

.rawtext:hover, .rawtext:active, .rawtext:focus {
	outline: none !important;
	-webkit-appearance: none;
}

.output-window pre {
	font-family: monospace;
}

.output-window pre.small {
	font-size: 0.9rem !important;
}