cerrado @ 4096e343f8c139316bab5fec6fba3d4365c3bef8

  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);
 78
 79@import "bootstrap/scss/utilities/_api.scss";
 80
 81body {
 82    // prevents wierd font resizing on overflow
 83    -webkit-text-size-adjust: 100%;
 84    font-family: $font-family-monospace;
 85    font-size: $base-font-size;
 86    margin: 0;
 87}
 88
 89.navbar-nav {
 90  margin-top: 0px
 91}
 92
 93.event-list {
 94    margin-bottom: 1rem;
 95}
 96
 97.event:first-child {
 98    margin-top: 0;
 99}
100
101.event {
102    text-overflow: ellipsis;
103    overflow: hidden;
104    padding: 0.5rem;
105    margin: 0.5rem 0;
106    background: #f8f9fa;
107}
108
109.selected {
110  text-decoration: underline;
111}
112
113.event > h4 {
114  margin: 0;
115}
116.event > p {
117  margin: 0.5rem 0;
118}
119
120.code-view {
121    display: grid;
122    overflow-x: auto;
123}
124
125.pathing{
126  margin-left: $spacer;
127  display: inline-block
128}
129
130pre {
131    display: grid;
132    overflow-x: auto;
133}
134
135#name {
136  text-overflow: ellipsis;
137  overflow: hidden;
138  white-space: nowrap;
139  padding-left: $spacer;
140  max-width: calc(100% - calc(2 * #{$spacer}));
141}
142
143#about {
144  padding: 0 $spacer $spacer $spacer;
145  > p:first-child {
146    margin-top: 0
147  }
148
149  @include media-breakpoint-down(md) { 
150    padding: $spacer;
151    max-width: calc(100% - calc(2 * #{$spacer}));
152  }
153}