123 lines
1.8 KiB
SCSS
123 lines
1.8 KiB
SCSS
@use "editor.scss";
|
|
@use "filter_box.scss";
|
|
@import "constants";
|
|
|
|
|
|
:root {
|
|
--ident: 18px;
|
|
/* --editor-font: "Avenir"; */
|
|
--editor-font: "Menlo";
|
|
--ui-font: "Arial";
|
|
--top-bar-bg: rgb(41, 41, 41);
|
|
--highlight-color: #464cfc;
|
|
}
|
|
|
|
html,
|
|
body {
|
|
height: 100%;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.panel {
|
|
position: absolute;
|
|
top: $top-bar-height + 1px;
|
|
bottom: $bottom-bar-height;
|
|
right: 0;
|
|
width: 50%;
|
|
z-index: 20;
|
|
|
|
iframe {
|
|
border: 0;
|
|
width: 100%;
|
|
height: 100%;
|
|
padding: 0px;
|
|
margin: 0;
|
|
}
|
|
}
|
|
|
|
#top {
|
|
height: $top-bar-height;
|
|
position: fixed;
|
|
top: 0;
|
|
left: 0;
|
|
right: 0;
|
|
background-color: rgb(213, 213, 213);
|
|
border-bottom: rgb(193, 193, 193) 1px solid;
|
|
color: rgb(55, 55, 55);
|
|
|
|
.inner {
|
|
padding-top: 12px;
|
|
max-width: $max-editor-width;
|
|
font-size: 28px;
|
|
margin: auto;
|
|
|
|
.status {
|
|
float: right;
|
|
border: rgb(41, 41, 41) 1px solid;
|
|
border-radius: 5px;
|
|
padding: 3px;
|
|
font-size: 14px;
|
|
}
|
|
|
|
.current-page {
|
|
font-family: var(--ui-font);
|
|
font-weight: bold;
|
|
}
|
|
|
|
.icon {
|
|
padding-left: 5px;
|
|
padding-right: 10px;
|
|
}
|
|
|
|
.icon.saved {
|
|
color: #015701;
|
|
}
|
|
|
|
.icon.unsaved {
|
|
color: #e19502;
|
|
}
|
|
}
|
|
|
|
}
|
|
|
|
#editor {
|
|
position: absolute;
|
|
top: $top-bar-height;
|
|
bottom: $bottom-bar-height;
|
|
left: 0;
|
|
right: 0;
|
|
overflow-y: hidden;
|
|
}
|
|
|
|
div.rhs-open #editor {
|
|
right: 50%;
|
|
}
|
|
|
|
div.rhs-open #top .inner {
|
|
max-width: 550px;
|
|
padding-right: 50%;
|
|
}
|
|
|
|
@media only screen and (max-width: $max-editor-width) {
|
|
.cm-editor .cm-content {
|
|
margin: 0 10px !important;
|
|
}
|
|
}
|
|
|
|
#bottom {
|
|
height: $bottom-bar-height;
|
|
background-color: #ccc;
|
|
position: fixed;
|
|
text-align: right;
|
|
bottom: 0;
|
|
left: 0;
|
|
right: 0;
|
|
background-color: rgb(213, 213, 213);
|
|
border-top: rgb(193, 193, 193) 1px solid;
|
|
|
|
.inner {
|
|
padding: 5px;
|
|
}
|
|
}
|