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.navbar-nav {
30  margin-top: 0px
31}
32
33.event-list {
34    margin-bottom: 1rem;
35}
36
37.event:first-child {
38    margin-top: 0;
39}
40
41.event {
42    text-overflow: ellipsis;
43    overflow: hidden;
44    padding: 0.5rem;
45    margin: 0.5rem 0;
46    background: #f8f9fa;
47}
48
49.selected {
50  text-decoration: underline;
51}
52
53.event > h4 {
54  margin: 0;
55}
56.event > p {
57  margin: 0.5rem 0;
58}
59
60.code-view {
61    display: grid;
62    overflow-x: auto;
63}
64
65.logs {
66  >div:nth-child(odd) {
67    background: #f8f9fa;
68  }
69
70  >div {
71    padding: 10px;
72  }
73
74  pre {
75    white-space: break-spaces;
76    margin: 0;
77  }
78}
79
80.logs pre::first-line {
81  font-weight: bold;
82}
83.logs>div>div:first-child {
84  margin-bottom: 15px;
85}
86.logs>div>div:last-child {
87  margin-top: 15px;
88}
89