DIV.langopt {
	text-align: right;
	font-size: 80%;
	margin-top: 0.3em;
	margin-bottom: 1em;
}