1// disable gutter
  2$grid-gutter-width: 0;
  3
  4$base-font-size: 1rem;
  5$font-family-monospace: monospace;
  6$headings-margin-bottom: 0;
  7
  8// basic functionality
  9@import "bootstrap/scss/_functions.scss";
 10@import "bootstrap/scss/_variables.scss";
 11@import "bootstrap/scss/_variables-dark.scss";
 12@import "bootstrap/scss/_maps.scss";
 13@import "bootstrap/scss/_mixins.scss";
 14@import "bootstrap/scss/_utilities.scss";
 15
 16$navbar-nav-link-padding-x: $spacer;
 17
 18// added component
 19@import "bootstrap/scss/_root.scss";
 20@import "bootstrap/scss/_containers.scss";
 21@import "bootstrap/scss/_nav.scss";
 22@import "bootstrap/scss/_navbar.scss";
 23@import "bootstrap/scss/_grid.scss";
 24@import "tree.scss";
 25
 26// TODO remove once is not needed
 27$alert-border-radius: 0;
 28@import "bootstrap/scss/_alert.scss";
 29
 30// overwrite to reduce the ammount of css generated by loading all utilities
 31$utilities: (
 32  "order": (
 33    responsive: true,
 34    property: order,
 35    values: (
 36      first: -1,
 37      0: 0,
 38      1: 1,
 39      2: 2,
 40      3: 3,
 41      4: 4,
 42      5: 5,
 43      last: 6,
 44    ),
 45  ),
 46  "float": (
 47    responsive: true,
 48    property: float,
 49    values: (
 50      start: left,
 51      end: right,
 52      none: none,
 53    )
 54  ),
 55  "text-align": (
 56    responsive: true,
 57    property: text-align,
 58    class: text,
 59    values: (
 60      start: left,
 61      end: right,
 62      center: center,
 63    )
 64  ),
 65  "margin": (
 66    responsive: true,
 67    property: margin,
 68    class: m,
 69    values: map-merge($spacers, (auto: auto))
 70  ),
 71  "margin-end": (
 72    responsive: true,
 73    property: margin-right,
 74    class: me,
 75    values: map-merge($spacers, (auto: auto))
 76  ),
 77  "margin-start": (
 78    responsive: true,
 79    property: margin-left,
 80    class: ms,
 81    values: map-merge($spacers, (auto: auto))
 82  ),
 83
 84);
 85
 86@import "bootstrap/scss/utilities/_api.scss";
 87
 88body {
 89    // prevents wierd font resizing on overflow
 90    -webkit-text-size-adjust: 100%;
 91    font-family: $font-family-monospace;
 92    font-size: $base-font-size;
 93    margin: 0;
 94}
 95
 96.navbar-nav {
 97  margin-top: 0px
 98}
 99
100.event-list {
101    margin-bottom: 1rem;
102}
103
104.event:first-child {
105    margin-top: 0;
106}
107
108.event {
109    text-overflow: ellipsis;
110    overflow: hidden;
111    padding: 0.5rem;
112    margin: 0.5rem 0;
113    background: #f8f9fa;
114}
115
116.selected {
117  text-decoration: underline;
118}
119
120.event > h4 {
121  margin: 0;
122}
123.event > p {
124  margin: 0.5rem 0;
125}
126
127.code-view {
128    display: grid;
129    overflow-x: auto;
130
131    > pre {
132      margin: 0;
133    }
134}
135
136.pathing{
137  margin-left: $spacer;
138  display: inline-block
139}
140
141pre {
142    display: grid;
143    overflow-x: auto;
144}
145
146#name {
147  text-overflow: ellipsis;
148  overflow: hidden;
149  white-space: nowrap;
150  padding-left: $spacer;
151  max-width: calc(100% - calc(2 * #{$spacer}));
152}
153
154#about {
155  padding: 0 $spacer $spacer $spacer;
156  > p:first-child {
157    margin-top: 0
158  }
159
160  @include media-breakpoint-down(md) { 
161    padding: $spacer;
162    max-width: calc(100% - calc(2 * #{$spacer}));
163  }
164}