/* ------------------------------------------------ */ /* DON'T EDIT THIS FILE; EDIT THE SCSS/SASS INSTEAD */ /* ------------------------------------------------ */ /* ------------------------------------------------ */ /* FOR DEBUGGING REASONS : DYNAMIC */ /* ------------------------------------------------ */ // // Settings // $type: dynamic; $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: false; // my personal customizations $disablelanguagebutton: false; // if cookies are disabled, the language will have to be chosen on every page again $nologin: false; $font-family: 'Lucida Console', monospace; $border-radius: 5px; // // // @import 'import/_colors.scss'; @import 'import/syntax.scss'; @import 'import/include.scss'; @import 'import/_main.scss'; @import 'import/_nav.scss'; @import 'import/admin.scss'; @import 'import/dashboard.scss'; @import 'import/explore.scss'; @import 'import/repository.scss'; @import 'import/user.scss'; @import 'import/organization.scss'; @import 'import/home.scss'; @import 'import/_footer.scss';