/* the demo has no user stylesheet */