138 lines
2.0 KiB
CSS
138 lines
2.0 KiB
CSS
html, body {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.pane-code {
|
|
position: absolute;
|
|
left: 0;
|
|
top: 0;
|
|
bottom: 100px;
|
|
width: 30%;
|
|
box-sizing: border-box;
|
|
border-right: 1px solid #808080;
|
|
}
|
|
|
|
.pane-code .CodeMirror {
|
|
width: 100%;
|
|
height: 100%;
|
|
background: #EEEEEE;
|
|
}
|
|
|
|
.CodeMirror-line.error {
|
|
background: rgba(255, 0, 0, 0.2);
|
|
}
|
|
|
|
.cm-s-default .cm-keyword {color: #0055CC;}
|
|
.cm-s-default .cm-variable {color: #AA5500;}
|
|
.cm-s-default .cm-operator {color: #0055CC;}
|
|
.cm-s-default .cm-comment {color: #558800;}
|
|
.cm-s-default .cm-string {color: #221111;}
|
|
.cm-s-default .cm-error {color: #FF0000;}
|
|
|
|
.cm-s-default .cm-trailingspace {
|
|
background: rgba(255, 0, 0, 0.2);
|
|
}
|
|
|
|
.hover {
|
|
background: #FFFF00;
|
|
}
|
|
|
|
.pick-virtual {
|
|
color: #777777;
|
|
}
|
|
|
|
.pane-view {
|
|
position: absolute;
|
|
left: 30%;
|
|
top: 0;
|
|
bottom: 0;
|
|
right: 0;
|
|
}
|
|
|
|
.pane-view-scroller {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0;
|
|
right: 0;
|
|
bottom: 0;
|
|
overflow: auto;
|
|
}
|
|
|
|
.pane-view-inner {
|
|
}
|
|
|
|
.pane-view svg {
|
|
width: 100%;
|
|
height: 100%;
|
|
}
|
|
|
|
.pane-error {
|
|
position: absolute;
|
|
left: 0;
|
|
bottom: 0;
|
|
width: 30%;
|
|
height: 100px;
|
|
overflow: auto;
|
|
box-sizing: border-box;
|
|
padding: 5px 10px;
|
|
font-family: monospace;
|
|
background: #DDDDDD;
|
|
border-top: 1px solid #808080;
|
|
border-right: 1px solid #808080;
|
|
}
|
|
|
|
.pane-error.ok {
|
|
color: #007700;
|
|
background: #E8EEE8;
|
|
}
|
|
|
|
.pane-error.error {
|
|
color: #770000;
|
|
background: #EEE8E8;
|
|
}
|
|
|
|
.options {
|
|
position: absolute;
|
|
background: #FFFFFF;
|
|
font-family: sans-serif;
|
|
overflow: hidden;
|
|
user-select: none;
|
|
}
|
|
|
|
.options.links {
|
|
top: 0;
|
|
right: 0;
|
|
border-bottom-left-radius: 5px;
|
|
border-bottom: 1px solid #EEEEEE;
|
|
border-left: 1px solid #EEEEEE;
|
|
}
|
|
|
|
.options.downloads {
|
|
bottom: 0;
|
|
right: 0;
|
|
border-top-left-radius: 5px;
|
|
border-top: 1px solid #EEEEEE;
|
|
border-left: 1px solid #EEEEEE;
|
|
}
|
|
|
|
.options a {
|
|
display: inline-block;
|
|
padding: 5px 10px;
|
|
}
|
|
|
|
.options a:not(:last-child) {
|
|
border-right: 1px solid #EEEEEE;
|
|
}
|
|
|
|
.options a:link, .options a:visited {
|
|
color: #666699;
|
|
text-decoration: none;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.options a:active, .options a:hover {
|
|
background: #EEEEEE;
|
|
color: #6666CC;
|
|
}
|