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}