/* @option user-selected miscellaneous style setting */

a, a:visited {
	text-decoration: underline;
}