2016-05-11 02:22:32 +00:00
|
|
|
.CodeMirror {
|
2016-09-14 17:03:51 +00:00
|
|
|
@include themify() {
|
|
|
|
border: 1px solid getThemifyVariable('ide-border-color');
|
|
|
|
}
|
|
|
|
font-family: Inconsolata, monospace;
|
|
|
|
height: 100%;
|
2016-05-11 02:22:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumbers {
|
|
|
|
padding-right: #{10 / $base-font-size}rem;
|
2016-12-19 22:07:04 +00:00
|
|
|
|
2016-05-11 02:22:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumber {
|
2016-12-19 22:07:04 +00:00
|
|
|
width: #{32 / $base-font-size}rem;
|
|
|
|
left: 0 !important;
|
|
|
|
@include themify() {
|
|
|
|
color: getThemifyVariable('inactive-text-color');
|
|
|
|
}
|
2016-05-11 02:22:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lines {
|
|
|
|
padding-top: #{25 / $base-font-size}rem;
|
2016-05-12 22:29:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-line {
|
2016-06-20 18:58:15 +00:00
|
|
|
padding-left: #{5 / $base-font-size}rem;
|
|
|
|
}
|
2016-07-12 23:11:07 +00:00
|
|
|
|
2017-07-17 20:13:59 +00:00
|
|
|
.CodeMirror-activeline-background {
|
|
|
|
background-color: rgba(0,0,0,0.025) !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linebackground {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
.line-runtime-error {
|
|
|
|
background-color: #ffaaaa !important;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-guttermarker-subtle {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-foldgutter-folded {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-foldgutter-open {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2016-07-12 23:11:07 +00:00
|
|
|
.CodeMirror-gutter-wrapper {
|
|
|
|
right: 100%;
|
|
|
|
top: 0;
|
|
|
|
bottom: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-warning, .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-multiple {
|
|
|
|
background-image: none;
|
2016-12-19 22:07:04 +00:00
|
|
|
width: #{48 / $base-font-size}rem;
|
2016-07-12 23:11:07 +00:00
|
|
|
position: absolute;
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2016-07-12 23:24:57 +00:00
|
|
|
.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
|
|
|
|
background-image: none;
|
|
|
|
padding-left: inherit;
|
|
|
|
}
|
|
|
|
|
2016-07-12 23:11:07 +00:00
|
|
|
.CodeMirror-lint-marker-warning {
|
|
|
|
background-color: rgb(255, 190, 5);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-error {
|
|
|
|
background-color: rgb(255, 95, 82);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-gutter-elt:not(.CodeMirror-linenumber) {
|
|
|
|
opacity: 0.3;
|
2016-12-19 22:07:04 +00:00
|
|
|
width: #{48 / $base-font-size}rem !important;
|
2016-07-12 23:11:07 +00:00
|
|
|
height: 100%;
|
|
|
|
// background-color: rgb(255, 95, 82);
|
|
|
|
}
|
2016-07-12 23:24:57 +00:00
|
|
|
|
|
|
|
.CodeMirror-lint-tooltip {
|
2016-09-14 17:03:51 +00:00
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('modal-background-color');
|
|
|
|
border: 1px solid getThemifyVariable('modal-border-color');
|
|
|
|
box-shadow: 0 12px 12px getThemifyVariable('shadow-color');
|
2016-09-21 22:52:44 +00:00
|
|
|
color: getThemifyVariable('primary-text-color');
|
2016-09-14 17:03:51 +00:00
|
|
|
}
|
2016-07-21 19:07:53 +00:00
|
|
|
border-radius: 2px;
|
2016-12-14 15:41:50 +00:00
|
|
|
font-family: Montserrat, sans-serif;
|
2016-07-12 23:24:57 +00:00
|
|
|
}
|
2016-09-07 20:33:01 +00:00
|
|
|
|
2016-09-21 22:52:44 +00:00
|
|
|
.CodeMirror-gutters {
|
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('editor-gutter-color');
|
|
|
|
border-color: getThemifyVariable('ide-border-color');
|
|
|
|
}
|
2016-10-05 16:26:49 +00:00
|
|
|
// left: 0 !important;
|
2016-12-19 22:07:04 +00:00
|
|
|
width: #{48 / $base-font-size}rem;
|
2016-07-12 23:24:57 +00:00
|
|
|
}
|
2016-09-07 20:33:01 +00:00
|
|
|
|
2017-06-06 19:20:21 +00:00
|
|
|
/*
|
|
|
|
Search dialog
|
|
|
|
*/
|
|
|
|
|
|
|
|
.CodeMirror-dialog {
|
2017-07-28 15:38:47 +00:00
|
|
|
position: fixed;
|
2017-06-06 19:20:21 +00:00
|
|
|
top: 0;
|
2017-07-28 15:38:47 +00:00
|
|
|
left: 50%;
|
|
|
|
margin-left: - #{365/2/$base-font-size}rem;
|
2017-06-06 19:20:21 +00:00
|
|
|
|
|
|
|
z-index: 10;
|
|
|
|
|
2017-07-28 15:38:47 +00:00
|
|
|
width: 100%;
|
|
|
|
max-width: #{365 / $base-font-size}rem;
|
2017-06-06 19:20:21 +00:00
|
|
|
|
|
|
|
font-family: Montserrat, sans-serif;
|
|
|
|
|
|
|
|
padding: #{14 / $base-font-size}rem #{20 / $base-font-size}rem #{14 / $base-font-size}rem #{18 / $base-font-size}rem;
|
|
|
|
|
|
|
|
border-radius: 2px;
|
|
|
|
|
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('modal-background-color');
|
|
|
|
box-shadow: 0 12px 12px 0 getThemifyVariable('shadow-color');
|
|
|
|
border: solid 0.5px getThemifyVariable('modal-border-color');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-title {
|
|
|
|
display: block;
|
|
|
|
margin-bottom: #{12 / $base-font-size}rem;
|
|
|
|
|
|
|
|
font-size: #{21 / $base-font-size}rem;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-field {
|
|
|
|
display: block;
|
|
|
|
width: 100%;
|
|
|
|
margin-bottom: #{12 / $base-font-size}rem;
|
2017-07-28 15:38:47 +00:00
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('search-background-color');
|
|
|
|
border: solid 0.5px getThemifyVariable('button-border-color');
|
|
|
|
}
|
|
|
|
&:focus {
|
|
|
|
background-color: $white;
|
|
|
|
}
|
2017-06-06 19:20:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-count {
|
|
|
|
display: block;
|
|
|
|
height: #{20 / $base-font-size}rem;
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-actions {
|
|
|
|
display: flex;
|
|
|
|
justify-content: space-between;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
|
|
|
*/
|
|
|
|
.CodeMirror-search-modifiers {
|
|
|
|
display: flex;
|
|
|
|
justify-content: flex-end;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-regexp-button,
|
|
|
|
.CodeMirror-case-button,
|
|
|
|
.CodeMirror-word-button {
|
|
|
|
width: 20px;
|
|
|
|
height: 20px;
|
|
|
|
|
|
|
|
margin-left: #{10 / $base-font-size}rem;
|
|
|
|
|
|
|
|
word-break: keep-all;
|
|
|
|
white-space: nowrap;
|
|
|
|
|
|
|
|
@include themify() {
|
|
|
|
color: getThemifyVariable('inactive-text-color');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-regexp-button .label,
|
|
|
|
.CodeMirror-case-button .label,
|
|
|
|
.CodeMirror-word-button .label {
|
|
|
|
@extend %hidden-element;
|
|
|
|
}
|
|
|
|
|
|
|
|
[aria-checked="true"] {
|
|
|
|
@include themify() {
|
|
|
|
color: getThemifyVariable('primary-text-color');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
Previous / Next buttons
|
|
|
|
*/
|
|
|
|
|
|
|
|
// Visually hide button text
|
|
|
|
.CodeMirror-search-button .label {
|
|
|
|
@extend %hidden-element;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-button {
|
|
|
|
margin-right: #{10 / $base-font-size}rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-search-button::after {
|
|
|
|
display: block;
|
|
|
|
content: ' ';
|
|
|
|
|
|
|
|
width: 14px;
|
|
|
|
height: 14px;
|
|
|
|
|
2017-06-26 21:46:47 +00:00
|
|
|
@include icon();
|
2017-06-06 19:20:21 +00:00
|
|
|
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
background-position: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Previous button
|
|
|
|
.CodeMirror-search-button.prev::after {
|
|
|
|
background-image: url(../images/up-arrow.svg)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Next button
|
|
|
|
.CodeMirror-search-button.next::after {
|
|
|
|
background-image: url(../images/down-arrow.svg)
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
Close button
|
|
|
|
*/
|
|
|
|
.CodeMirror-close-button {
|
|
|
|
position: absolute;
|
|
|
|
top: #{14 / $base-font-size}rem;
|
|
|
|
right: #{18 / $base-font-size}rem;
|
|
|
|
|
|
|
|
display: flex;
|
|
|
|
flex-direction: row;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Visually hide button text
|
|
|
|
.CodeMirror-close-button .label {
|
|
|
|
@extend %hidden-element;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-close-button:after {
|
|
|
|
display: block;
|
|
|
|
content: ' ';
|
|
|
|
|
|
|
|
width: 16px;
|
|
|
|
height: 16px;
|
|
|
|
|
|
|
|
margin-left: #{8 / $base-font-size}rem;
|
|
|
|
|
2017-06-26 21:46:47 +00:00
|
|
|
@include icon();
|
2017-06-06 19:20:21 +00:00
|
|
|
|
|
|
|
background: transparent url(../images/exit.svg) no-repeat;
|
|
|
|
}
|
|
|
|
|
2017-01-05 19:40:04 +00:00
|
|
|
.editor-holder {
|
|
|
|
height: calc(100% - #{29 / $base-font-size}rem);
|
|
|
|
width: 100%;
|
|
|
|
position: absolute;
|
|
|
|
}
|
|
|
|
|
|
|
|
.editor__header {
|
|
|
|
height: #{29 / $base-font-size}rem;
|
|
|
|
}
|
2016-12-19 22:07:04 +00:00
|
|
|
|
2016-09-07 20:33:01 +00:00
|
|
|
.editor__options-button {
|
2017-06-26 21:46:47 +00:00
|
|
|
@include icon();
|
2016-09-07 20:33:01 +00:00
|
|
|
position: absolute;
|
2016-12-19 22:19:07 +00:00
|
|
|
top: #{10 / $base-font-size}rem;
|
|
|
|
right: #{2 / $base-font-size}rem;
|
2016-09-07 20:33:01 +00:00
|
|
|
z-index: 1;
|
|
|
|
}
|
|
|
|
|
2016-12-19 22:07:04 +00:00
|
|
|
|
2016-09-07 20:33:01 +00:00
|
|
|
.editor__options {
|
|
|
|
display: none;
|
|
|
|
@extend %modal;
|
|
|
|
position: absolute;
|
2016-12-20 05:21:04 +00:00
|
|
|
right: #{0 / $base-font-size}rem;
|
|
|
|
padding: #{8 / $base-font-size}rem #{20 / $base-font-size}rem;
|
|
|
|
font-size: #{12 / $base-font-size}rem;
|
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('modal-background-color');
|
|
|
|
box-shadow: 0 0 18px getThemifyVariable('shadow-color');
|
|
|
|
}
|
2016-09-07 20:33:01 +00:00
|
|
|
.editor--options & {
|
|
|
|
display: block;
|
|
|
|
}
|
2016-09-12 05:31:30 +00:00
|
|
|
}
|
|
|
|
|
2016-12-20 05:21:04 +00:00
|
|
|
.editor__options li {
|
|
|
|
padding: #{4 / $base-font-size}rem 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.editor__options a {
|
|
|
|
@include themify() {
|
|
|
|
color: getThemifyVariable('secondary-text-color');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-09 17:52:14 +00:00
|
|
|
.editor__file-name {
|
|
|
|
@include themify() {
|
2016-12-19 22:07:04 +00:00
|
|
|
color: getThemifyVariable('secondary-text-color');
|
2016-11-09 17:52:14 +00:00
|
|
|
}
|
2016-12-19 22:07:04 +00:00
|
|
|
height: #{29 / $base-font-size}rem;
|
2016-12-19 22:19:07 +00:00
|
|
|
padding-top: #{7 / $base-font-size}rem;
|
|
|
|
padding-left: #{56 / $base-font-size}rem;
|
2016-11-09 17:52:14 +00:00
|
|
|
font-size: #{12 / $base-font-size}rem;
|
|
|
|
display: flex;
|
|
|
|
justify-content: space-between;
|
2016-09-12 05:31:30 +00:00
|
|
|
}
|