/* @option user selected miscellaneous theme setting */

a {
	text-decoration: underline;
}