/*#translator
{
	font-size: 1.2em;
	padding: 0;
	margin: 0;
}

#translator select.selector
{
	margin-top: 3px;
}

*/

select.selector
{
	/*border: 1px solid #ccc;*/
}

.translatorlabel
{
	font-size: 85%;
}

.translatorlabel sup
{
	font-size: 85%;
}