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