// 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"; $navbar-nav-link-padding-x: $spacer; // 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, ) ), "margin": ( responsive: true, property: margin, class: m, values: map-merge($spacers, (auto: auto)) ), "margin-end": ( responsive: true, property: margin-right, class: me, values: map-merge($spacers, (auto: auto)) ), ); @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; } .pathing{ margin-left: $spacer; display: inline-block } pre { display: grid; overflow-x: auto; } #name { text-overflow: ellipsis; overflow: hidden; white-space: nowrap; padding-left: $spacer; max-width: calc(100% - calc(2 * #{$spacer})); } #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})); } }