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}