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

#pageHeader h1,
#pageHeader h2 {
	font-size: 100%;
}