/* @option user-selected navigation font size setting */

#RaftNav {
	font-size: 120%;
}