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-end": (
 64    responsive: true,
 65    property: margin-right,
 66    class: me,
 67    values: map-merge($spacers, (auto: auto))
 68  ),
 69);
 70
 71@import "bootstrap/scss/utilities/_api.scss";
 72
 73body {
 74    // prevents wierd font resizing on overflow
 75    -webkit-text-size-adjust: 100%;
 76    font-family: $font-family-monospace;
 77    font-size: $base-font-size;
 78    margin: 0;
 79}
 80
 81.navbar-nav {
 82  margin-top: 0px
 83}
 84
 85.event-list {
 86    margin-bottom: 1rem;
 87}
 88
 89.event:first-child {
 90    margin-top: 0;
 91}
 92
 93.event {
 94    text-overflow: ellipsis;
 95    overflow: hidden;
 96    padding: 0.5rem;
 97    margin: 0.5rem 0;
 98    background: #f8f9fa;
 99}
100
101.selected {
102  text-decoration: underline;
103}
104
105.event > h4 {
106  margin: 0;
107}
108.event > p {
109  margin: 0.5rem 0;
110}
111
112.code-view {
113    display: grid;
114    overflow-x: auto;
115}
116
117.logs {
118  >div {
119    background: #f8f9fa;
120  }
121
122  >div {
123    padding: 5px;
124    margin: $spacer;
125  }
126
127  @include media-breakpoint-down(md) {
128    >div {
129      margin: $spacer 0 $spacer 0;
130    }
131  }
132
133  pre {
134    font-size: $base-font-size;
135    margin: 0;
136  }
137}
138
139.logs>div>div:first-child {
140  margin-bottom: 15px;
141}
142.logs>div>div:last-child {
143  margin-top: 15px;
144}
145
146#about {
147  padding: 0 $spacer $spacer $spacer;
148  > p:first-child {
149    margin-top: 0
150  }
151
152  @include media-breakpoint-down(md) { 
153    padding: $spacer;
154    max-width: calc(100% - calc(2 * #{$spacer}));
155  }
156}