lots of style changes

This commit is contained in:
2021-07-21 12:43:14 -04:00
parent 92559fd7df
commit 79c6f77a79
5 changed files with 47 additions and 16 deletions

View File

@ -1,5 +1,6 @@
html, body {
height: 100%;
background-color: #333;
}
#editor {
@ -10,10 +11,18 @@ textarea, .navbar-brand {
font-family: 'Roboto Mono', monospace;
}
footer {
padding:10px 0;
}
.navbar-brand {
font-size: 26px;
}
.ace_print-margin {
display: none;
}
#live-mode-status {
display: none;
font-size: 13px;
@ -31,8 +40,24 @@ textarea, .navbar-brand {
text-align: center;
}
.jotted-nav {
display: none !important;
}
.jotted-pane {
width: 50% !important;
padding-top: 0 !important;
}
.jotted-pane-css, .jotted-pane-html {
height: 50% !important;
}
.jotted-pane-css {
border-top: 1px solid #ccc !important;
}
#users-list {
color: #777;
font-size: 12px;
margin-top: 10px;
}
}