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// added component
17@import "bootstrap/scss/_root.scss";
18@import "bootstrap/scss/_containers.scss";
19@import "bootstrap/scss/_nav.scss";
20@import "bootstrap/scss/_navbar.scss";
21@import "bootstrap/scss/_grid.scss";
22
23body {
24    font-family: $font-family-monospace;
25    font-size: $base-font-size;
26    margin: 0;
27}
28
29.card-body {
30  padding: 5px;
31}
32
33.navbar-nav {
34  margin-top: 0px
35}
36
37.event-list {
38    margin-bottom: 1rem;
39}
40
41.event:first-child {
42    margin-top: 0;
43}
44
45.event {
46    text-overflow: ellipsis;
47    overflow: hidden;
48    padding: 0.5rem;
49    margin: 0.5rem 0;
50    background: #f8f9fa;
51}
52
53.selected {
54  text-decoration: underline;
55}
56
57.event > h4 {
58  margin: 0;
59}
60.event > p {
61  margin: 0.5rem 0;
62}
63
64.code-view {
65    display: grid;
66    overflow-x: auto;
67}