/* dev mode by default */

@import url("palette-beige.2f91f00fdd.css");

@import url("jinks-variables.f1c77a17fc.css");
@import url("pico-ext.3cc10efd88.css");
@import url("base.63fc8ccee8.css");
@import url("../fonts/font.836eaa51a1.css");
@import url("controls.6777a9674e.css");
@import url("layouts.48680a1b59.css");
@import url("menu.b7f1a9a759.css");
@import url("documents.078dfbac3b.css");
@import url("toc.8e52ad2e22.css");