/* Content of the CSS overlay page at tools/css_overlay */