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

Style for folded region looking better

Browse source
This commit is contained in:
Zach Rispoli 2017-07-26 14:16:50 -04:00
parent 683b718303
commit 14d77cac0b
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
client/styles/vendors/_codemirror.scss vendored
View file

@ -340,13 +340,15 @@ span.CodeMirror-selectedtext { background: none; }
/* CODE FOLDING (FOLDGUTTER.JS) */ /* CODE FOLDING (FOLDGUTTER.JS) */
.CodeMirror-foldmarker { .CodeMirror-foldmarker {
text-shadow: -1px 0 #ed225d, 0 1px #ed225d, 1px 0 #ed225d, 0 -1px #ed225d;
color: #FFF; color: #FFF;
background-color: rgba(237, 34, 93, 0.42); /* background-color: rgba(237, 34, 93, 0.42); */
border-radius: 3px; /* border-radius: 3px; */
font-weight: bold; font-weight: bold;
font-family: arial; font-family: arial;
line-height: .3; line-height: .3;
cursor: pointer; cursor: pointer;
opacity: 0.75;
} }
.CodeMirror-foldgutter { .CodeMirror-foldgutter {
width: 2.7em; width: 2.7em;