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