/* Shared styles: edit the smallest relevant file in css/. */
@import url("./css/base.css");
@import url("./css/navigation.css");
@import url("./css/catalogue.css");
@import url("./css/documentation.css");
@import url("./css/content.css");
@import url("./css/dialogs.css");
@import url("./css/responsive.css");