* htdocs/extra_css.php: add