From 9647372c9ea9846033ff867202192fc8b700ca4a Mon Sep 17 00:00:00 2001 From: Zach Rispoli Date: Mon, 17 Jul 2017 16:15:33 -0400 Subject: [PATCH] Remove unnecessary CSS --- client/styles/components/_editor.scss | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/client/styles/components/_editor.scss b/client/styles/components/_editor.scss index cf2a744b..ad455a00 100644 --- a/client/styles/components/_editor.scss +++ b/client/styles/components/_editor.scss @@ -27,18 +27,6 @@ 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 { right: 100%; top: 0; @@ -92,16 +80,6 @@ width: #{48 / $base-font-size}rem; } -.CodeMirror-guttermarker-subtle { - -} -.CodeMirror-foldgutter-folded { - -} -.CodeMirror-foldgutter-open { - -} - .editor-holder { height: calc(100% - #{29 / $base-font-size}rem); width: 100%;