@import url('debian.css');

.userinput {
	font-weight: bold;
}