cerrado @ 72ead32e2d7967bddf39b79fa3bde769860e9ac7

  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": (responsive: true,
 39        property: order,
 40        values: (first: -1,
 41            0: 0,
 42            1: 1,
 43            2: 2,
 44            3: 3,
 45            4: 4,
 46            5: 5,
 47            last: 6,
 48        ),
 49    ),
 50    "float": (responsive: true,
 51        property: float,
 52        values: (start: left,
 53            end: right,
 54            none: none,
 55        )),
 56    "text-align": (responsive: true,
 57        property: text-align,
 58        class: text,
 59        values: (start: left,
 60            end: right,
 61            center: center,
 62        )),
 63    "margin": (responsive: true,
 64        property: margin,
 65        class: m,
 66        values: map-merge($spacers, (auto: auto))),
 67    "margin-end": (responsive: true,
 68        property: margin-right,
 69        class: me,
 70        values: map-merge($spacers, (auto: auto))),
 71    "margin-start": (responsive: true,
 72        property: margin-left,
 73        class: ms,
 74        values: map-merge($spacers, (auto: auto))),
 75);
 76
 77@import "bootstrap/scss/utilities/_api.scss";
 78
 79// prevents wierd font resizing on overflow
 80body {
 81    -webkit-text-size-adjust: 100%;
 82    font-family: $font-family-monospace;
 83    font-size: $base-font-size;
 84    margin: 0;
 85}
 86
 87// prevert wierd input overflowing 100%
 88input {
 89    width: 100%;
 90    box-sizing: border-box;
 91    -webkit-box-sizing: border-box;
 92    -moz-box-sizing: border-box;
 93}
 94
 95.navbar-nav {
 96    margin-top: 0px
 97}
 98
 99.event-list {
100    margin-bottom: 1rem;
101}
102
103.event:first-child {
104    margin-top: 0;
105}
106
107.event {
108    text-overflow: ellipsis;
109    overflow: hidden;
110    padding: 0.5rem;
111    margin: 0.5rem 0;
112    background: #f8f9fa;
113}
114
115.event-commit {
116    background: #dadada;
117    padding: 5px;
118
119    a {
120        white-space: nowrap;
121        text-overflow: ellipsis;
122        overflow: hidden;
123    }
124}
125
126.event-commit a:nth-child(3) {
127    text-align: end;
128
129    @include media-breakpoint-down(xl) {
130        text-align: start;
131    }
132}
133
134
135.selected {
136    text-decoration: underline;
137}
138
139.event>h4 {
140    margin: 0;
141}
142
143.event>p {
144    margin: 0.5rem 0;
145}
146
147.code-view {
148    display: grid;
149    overflow-x: auto;
150
151    >pre {
152        margin: 0;
153    }
154}
155
156.pathing {
157    margin-left: $spacer;
158    display: inline-block
159}
160
161pre {
162    display: grid;
163    overflow-x: auto;
164}
165
166#name {
167    text-overflow: ellipsis;
168    overflow: hidden;
169    white-space: nowrap;
170    padding-left: $spacer;
171    max-width: calc(100% - calc(2 * #{$spacer}));
172}
173
174#about {
175    padding: 0 $spacer $spacer $spacer;
176
177    >p:first-child {
178        margin-top: 0
179    }
180
181    @include media-breakpoint-down(md) {
182        padding: $spacer;
183        max-width: calc(100% - calc(2 * #{$spacer}));
184    }
185}