/* ------------------------------------------------ */ /* DON'T EDIT THIS FILE; EDIT THE SCSS/SASS INSTEAD */ /* ------------------------------------------------ */ // // Settings // $type: backend; $singleuser: false; // disables functions, that are not necessary if you are the only user (or at least as »frontend«) $nojavascript: false; // disables or corrects functions, that would not work with disabled javascript (e.g. throught content security policy) $vrifoxcustomization: true; // my personal customizations $disablelanguagebutton: false; // if cookies are disabled, the language will have to be chosen on every page again $font-family: monospace, 'Lucida Console', 'Monaco'; $border-radius: 5px; // // // @import 'partials/main'; @import 'partials/nav'; @import 'partials/repository.scss'; @import 'partials/explore.scss'; @import 'partials/user.scss'; @import 'partials/footer';