static/css/pages/lesson.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133

#playground {
  display: flex;
  flex-direction: column;
  flex-grow: 1;
}

#left,
#output>*,
#editor .codeflask__flatten {
  padding: var(--gap);
}

#right {
  display: flex;
  flex-direction: column;
  border: var(--color-divider);
  background: var(--code-background);
  padding-top: .15rem;
  overflow: hidden;
  flex-grow: 1;
  min-height: fit-content;
}

#output,
#editor {
  border-top: 1px solid var(--color-accent-muted);
}

#editor {
  position: relative;
  overflow: clip;
  flex-grow: 1;
}

#output {
  min-height: 1rem;
  background: var(--color-background-dim);
}

#output>* {
  margin: 0;
  white-space: pre-wrap;
}

/* Larger then mobile */
@media (min-width: 768px) {
  #playground {
    min-height: calc(100dvh - var(--navbar-height));
    flex-direction: row;
  }

  #left {
    height: 100%;
    width: 50%;
    overflow-y: auto;

    & h2:first-of-type {
      margin-top: 0;
    }
  }

  #right {
    border-left: 1px solid var(--color-accent-muted);
    width: 50%;
  }

  #editor {
    border: none;
  }

  #output {
    height: 33%;
    overflow: auto;
    border-top: 1px solid var(--color-accent-muted);
  }
}

/* Larger than medium screen and has enough to height to not worry about losing vertical space */
@media (min-width: 1200px) and (min-height: 700px) {
  #left {
    /* Lift the navigation bar up a bit so it's not sitting right on the bottom*/
    padding: calc(var(--gap) * 2);
  }

  #right {
    border-left: unset;
    border-radius: var(--border-radius);
    padding: 2px 1px;
    box-shadow: var(--drop-shadow);
    /* Use calc here to add additional padding dynamically to allow for the drop shadow */
    margin-top: calc(var(--gap) * 2);
    margin-right: calc(var(--gap) * 3);
    margin-bottom: calc(var(--gap) * 3);
    margin-left: calc(var(--gap) * 2);
  }
}

.error,
.warning {
  border-style: solid;
  height: 100%;
}

.error {
  overflow: auto;
  border-color: var(--brand-error);
}

.warning {
  border-color: var(--brand-warning);
}

.prev-next {
  display: flex;
  justify-content: center;
  align-items: center;
  padding: 0 var(--gap);
  gap: 0.5em;
}

.prev-next span {
  opacity: 0.5;
}

.mb-0 {
  margin-bottom: 0;
}

.content-nav {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}