2021-07-20 02:02:14 +00:00
|
|
|
|
html, body {
|
|
|
|
|
height: 100%;
|
|
|
|
|
}
|
2021-07-19 00:56:02 +00:00
|
|
|
|
|
2021-07-20 02:02:14 +00:00
|
|
|
|
#editor {
|
|
|
|
|
height: 600px;
|
2021-07-19 00:56:02 +00:00
|
|
|
|
}
|
|
|
|
|
|
2021-07-20 02:54:16 +00:00
|
|
|
|
textarea, .navbar-brand {
|
2021-07-19 02:17:18 +00:00
|
|
|
|
font-family: 'Roboto Mono', monospace;
|
2021-07-20 02:54:16 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.navbar-brand {
|
|
|
|
|
font-size: 26px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#live-mode-status {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|