/* Compatibility entrypoint: index.php already loads this file. */
@import url("header.css");
@import url("menu.css");
@import url("footer.css");