2020-09-27 21:09:15 +02:00
|
|
|
/* ------------------------------------------------ */
|
|
|
|
/* DON'T EDIT THIS FILE; EDIT THE SCSS/SASS INSTEAD */
|
|
|
|
/* ------------------------------------------------ */
|
|
|
|
|
2020-11-17 19:48:02 +01:00
|
|
|
/* ------------------------------------------------ */
|
|
|
|
/* FOR DEBUGGING REASONS : STATIC */
|
|
|
|
/* ------------------------------------------------ */
|
|
|
|
|
2020-10-04 11:08:52 +02:00
|
|
|
//
|
|
|
|
// Settings
|
|
|
|
//
|
|
|
|
|
2020-11-17 19:48:02 +01:00
|
|
|
$type: static;
|
2020-10-05 18:43:50 +02:00
|
|
|
|
2021-04-25 16:35:43 +02:00
|
|
|
$singleuser: false; // disables functions, that are not necessary if you are the only user (or at least as »frontend«)
|
2020-10-04 11:08:52 +02:00
|
|
|
$nojavascript: true; // disables or corrects functions, that would not work with disabled javascript (e.g. throught content security policy)
|
2021-04-25 16:35:43 +02:00
|
|
|
$vrifoxcustomization: false; // my personal customizations
|
2020-10-05 18:43:50 +02:00
|
|
|
$disablelanguagebutton: true; // if cookies are disabled, the language will have to be chosen on every page again
|
2020-10-14 20:32:15 +02:00
|
|
|
$nologin: true;
|
2020-10-02 11:21:24 +02:00
|
|
|
|
2020-10-09 09:45:20 +02:00
|
|
|
$font-family: 'Lucida Console', monospace;
|
2020-10-05 18:43:50 +02:00
|
|
|
$border-radius: 5px;
|
2020-10-04 18:28:14 +02:00
|
|
|
|
|
|
|
//
|
|
|
|
//
|
|
|
|
//
|
2020-09-27 21:09:15 +02:00
|
|
|
|
2020-10-30 18:05:31 +01:00
|
|
|
@import 'import/_colors.scss';
|
2020-12-08 21:14:44 +01:00
|
|
|
@import 'import/syntax.scss';
|
2020-10-30 18:05:31 +01:00
|
|
|
@import 'import/include.scss';
|
|
|
|
@import 'import/_main.scss';
|
|
|
|
@import 'import/_nav.scss';
|
2020-09-27 21:09:15 +02:00
|
|
|
|
2020-10-09 09:45:20 +02:00
|
|
|
@import 'import/explore.scss';
|
2020-11-08 19:50:40 +01:00
|
|
|
@import 'import/repository.scss';
|
2020-10-09 09:45:20 +02:00
|
|
|
@import 'import/user.scss';
|
2020-12-29 10:30:43 +01:00
|
|
|
@import 'import/organization.scss';
|
2020-12-31 13:15:37 +01:00
|
|
|
@import 'import/home.scss';
|
2020-09-27 21:09:15 +02:00
|
|
|
|
2020-10-30 18:05:31 +01:00
|
|
|
@import 'import/_footer.scss';
|