2020-01-10 15:50:09 +01:00
|
|
|
// Increases download size a lot, so better do not include for now
|
|
|
|
|
// @font-face {
|
|
|
|
|
// font-family: "DejaVu Sans Mono";
|
|
|
|
|
// src: local("DejaVuSansMono"),
|
|
|
|
|
// local("DejaVu Sans Mono"),
|
|
|
|
|
// url('/typo3conf/ext/ds_site/Resources/Public/Fonts/DejaVuSansMono.ttf') format("truetype");
|
|
|
|
|
// }
|
|
|
|
|
// @font-face {
|
|
|
|
|
// font-family: "DejaVu Sans";
|
|
|
|
|
// src: local("DejaVuSansBold"),
|
|
|
|
|
// local("DejaVu Sans Bold"),
|
|
|
|
|
// url('/typo3conf/ext/ds_site/Resources/Public/Fonts/DejaVuSansBold.ttf') format("truetype");
|
|
|
|
|
// font-weight: bold;
|
|
|
|
|
// }
|
|
|
|
|
|
2019-11-15 00:27:23 +01:00
|
|
|
// Required
|
|
|
|
|
@import "bootstrap/scss/functions";
|
|
|
|
|
@import "variables";
|
|
|
|
|
@import "bootstrap/scss/variables";
|
|
|
|
|
@import "bootstrap/scss/mixins";
|
2019-11-13 23:40:26 +01:00
|
|
|
|
|
|
|
|
// // Option
|
2019-11-15 00:27:23 +01:00
|
|
|
@import "bootstrap/scss/reboot";
|
|
|
|
|
@import "bootstrap/scss/grid";
|
|
|
|
|
@import "bootstrap/scss/root";
|
2019-11-13 23:40:26 +01:00
|
|
|
|
|
|
|
|
@import "layout";
|
2019-11-15 00:27:23 +01:00
|
|
|
|
|
|
|
|
@import "components/codeHighlighting";
|
2020-01-08 21:03:54 +01:00
|
|
|
// Does not work with 10 master yet
|
|
|
|
|
// @import "components/feedit";
|
2019-12-13 15:37:44 +01:00
|
|
|
@import "components/ckeditor";
|
2019-12-13 15:17:30 +01:00
|
|
|
@import "components/admonition";
|
