/* @option user-selected misc. theme setting */

a {
	text-decoration: underline;
}