#toc a,
#toc a:active,
#toc a:link,
#toc a:visited  {
	color: #a9432a;
	text-decoration: none;	
}

#toc a:hover {
	border-bottom: 1px dotted;
}

.current_link {
	color: #000000;
	font-weight: bold;
}

.lang_select {
	color: #a9432a;
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
	font-size: 0.8em;
	letter-spacing: 0.1em;
	text-transform: uppercase;
}

.lang_select a,
.lang_select a:active,
.lang_select a:link,
.lang_select a:hover,
.lang_select a:visited {
	color: #a9432a;
	text-decoration: none;
	margin: 5px;
	padding: 5px;	
}

.lang_selected {
	border: 1px solid #a9432a;
}