/* enqueue these as a separate stylesheet so they can be filtered */
html.fontsize {
	font-size: 200% !important;
}