/* @option user-selected title bar border setting */

#VolcanoHeaderBorder {
	display: none;
}

@media print {
	#VolcanoHeaderBorder {
		display: none;
	}
}