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