/* @option user-selected sidebar function */

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