// disable gutter $grid-gutter-width: 0; $base-font-size: 1rem; $font-family-monospace: monospace; $headings-margin-bottom: 0; // basic functionality @import "bootstrap/scss/_functions.scss"; @import "bootstrap/scss/_variables.scss"; @import "bootstrap/scss/_variables-dark.scss"; @import "bootstrap/scss/_maps.scss"; @import "bootstrap/scss/_mixins.scss"; @import "bootstrap/scss/_utilities.scss"; // added component @import "bootstrap/scss/_root.scss"; @import "bootstrap/scss/_containers.scss"; @import "bootstrap/scss/_nav.scss"; @import "bootstrap/scss/_navbar.scss"; @import "bootstrap/scss/_grid.scss"; @import "tree.scss"; // TODO remove once is not needed $alert-border-radius: 0; @import "bootstrap/scss/_alert.scss"; // overwrite to reduce the ammount of css generated by loading all utilities $utilities: ( "order": ( responsive: true, property: order, values: ( first: -1, 0: 0, 1: 1, 2: 2, 3: 3, 4: 4, 5: 5, last: 6, ), ), "float": ( responsive: true, property: float, values: ( start: left, end: right, none: none, ) ), "text-align": ( responsive: true, property: text-align, class: text, values: ( start: left, end: right, center: center, ) ), ); @import "bootstrap/scss/utilities/_api.scss"; body { // prevents wierd font resizing on overflow -webkit-text-size-adjust: 100%; font-family: $font-family-monospace; font-size: $base-font-size; margin: 0; } .navbar-nav { margin-top: 0px } .event-list { margin-bottom: 1rem; } .event:first-child { margin-top: 0; } .event { text-overflow: ellipsis; overflow: hidden; padding: 0.5rem; margin: 0.5rem 0; background: #f8f9fa; } .selected { text-decoration: underline; } .event > h4 { margin: 0; } .event > p { margin: 0.5rem 0; } .code-view { display: grid; overflow-x: auto; } .logs { >div { background: #f8f9fa; } >div { padding: 5px; margin: $spacer; } @include media-breakpoint-down(md) { >div { margin: $spacer 0 $spacer 0; } } pre { font-size: $base-font-size; margin: 0; } } .logs>div>div:first-child { margin-bottom: 15px; } .logs>div>div:last-child { margin-top: 15px; } #about { padding: 0 $spacer $spacer $spacer; > p:first-child { margin-top: 0 } @include media-breakpoint-down(md) { padding: $spacer; max-width: calc(100% - calc(2 * #{$spacer})); } }