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

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