From e9098e00fb6339b759df5b0df2e086cef8a7ce83 Mon Sep 17 00:00:00 2001 From: "Gabriel A. Giovanini" Date: Fri, 7 Jun 2024 23:02:54 +0200 Subject: feat: Rework some pages --- scss/main.scss | 50 ++++++++++++++++++++++++++++++++++++++++++++------ 1 file changed, 44 insertions(+), 6 deletions(-) (limited to 'scss/main.scss') diff --git a/scss/main.scss b/scss/main.scss index bb7d7f0..b3ba649 100644 --- a/scss/main.scss +++ b/scss/main.scss @@ -19,8 +19,31 @@ $headings-margin-bottom: 0; @import "bootstrap/scss/_nav.scss"; @import "bootstrap/scss/_navbar.scss"; @import "bootstrap/scss/_grid.scss"; +@import "tree.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, + ), + ), +); + +@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; @@ -63,23 +86,27 @@ body { } .logs { - >div:nth-child(odd) { + >div { background: #f8f9fa; } >div { - padding: 10px; + padding: 5px; + margin: $spacer; + } + + @include media-breakpoint-down(md) { + >div { + margin: $spacer 0 $spacer 0; + } } pre { - white-space: break-spaces; + font-size: $base-font-size; margin: 0; } } -.logs pre::first-line { - font-weight: bold; -} .logs>div>div:first-child { margin-bottom: 15px; } @@ -87,3 +114,14 @@ body { 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})); + } +} -- cgit v1.2.3