// 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;
// }

// Required
@import "bootstrap/scss/functions";
@import "variables";
@import "bootstrap/scss/variables";
@import "bootstrap/scss/mixins";

// // Option
@import "bootstrap/scss/reboot";
@import "bootstrap/scss/grid";
@import "bootstrap/scss/root";

@import "layout";

@import "components/codeHighlighting";
@import "components/feedit";
@import "components/adminpanel";
@import "components/ckeditor";
@import "components/admonition";
@import "components/video";