r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

Remove unnecessary CSS

Browse source
This commit is contained in:
Zach Rispoli 2017-07-17 16:15:33 -04:00
parent 87de91016b
commit 9647372c9e
1 changed files with 0 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
client/styles/components/_editor.scss
View file

@ -27,18 +27,6 @@
padding-left: #{5 / $base-font-size}rem; padding-left: #{5 / $base-font-size}rem;
} }
.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-gutter-wrapper { .CodeMirror-gutter-wrapper {
right: 100%; right: 100%;
top: 0; top: 0;
@ -92,16 +80,6 @@
width: #{48 / $base-font-size}rem; width: #{48 / $base-font-size}rem;
} }
.CodeMirror-guttermarker-subtle {
}
.CodeMirror-foldgutter-folded {
}
.CodeMirror-foldgutter-open {
}
.editor-holder { .editor-holder {
height: calc(100% - #{29 / $base-font-size}rem); height: calc(100% - #{29 / $base-font-size}rem);
width: 100%; width: 100%;