/*
	Independant CSS added to the header of the main file.
*/

.arianeOut {
	font-family:"Arial"; margin-left: 2px; margin-right: 15px; font-style: normal; 
	font-weight: normal; color: black; text-decoration: none;
	font-size: 12pt;
}

/* arianeIn does not exist by definition */
.arianeOut {
	font-weight: bold; color: green;
}

.arianeOut:hover {
	font-weight: bold; color: red;
}