/* @group Link Styling */

a {;
	color: #558445;
	font-weight: normal;
	text-decoration: underline dotted;
}

.contents a:visited {
	color: black;
	text-decoration: underline dotted;
}

a:hover {
	color: #558445;
	text-decoration: underline;
}

a.el {
	font-weight: bold;
	text-decoration: underline dotted;
}

a.el:hover {
	text-decoration: underline;
}

a.elRef {
}

a.elRef:hover {
	text-decoration: underline;
}

a.code, a.line:hover {
	text-decoration: underline;
}

a.code, a.code:visited, a.line, a.line:visited {
	color: #629950;
}

a.codeRef, a.lineRef:hover {
	text-decoration: underline;
}

a.codeRef, a.codeRef:visited, a.lineRef, a.lineRef:visited {
	color: #629950;
}