.input-OK {
/* 	width:320px; */
	text-align:center;
	font-size:10pt; 
}
.input-BAD {
	background-color:pink;
}
.short-input-OK {
	width:45px;
	text-align:center;
}
p.info {
	margin-bottom: 10px;
}

.plain, .coded {
	font-weight: bold;
}
.crossed-out {
	font-weight: normal;
	text-decoration: line-through;
	color: #aaa;
}

.hidden {
	display: none;
	font-style: italic;
}

.show {
	display: inline;
}