html.single-overflow {
	overflow: hidden;
}

html.double-overflow {
	overflow: hidden auto;
}

html.double-overflow {
	overflow: auto auto;
}

html.double-overflow {
	overflow: hidden /* a comment */ auto;
}

html.double-overflow {
	overflow: hidden      auto;
}
