.debug {
	border: 1px solid red;
	background-color: lightcoral;
}

.navbar-separator {
	height: 1.5em;
	margin: auto 1em;
}

#export-all-textarea, #export-textarea {
	font-family: 'Courier New', Courier, monospace;
	font-size: small;
}

.hidden {
	display: none;
}