status-im
/
codimd
mirror of https://github.com/status-im/codimd.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Updated editor styles

This commit is contained in:
Wu Cheng-Han 2015-09-25 19:03:04 +08:00
parent 93b6288958
commit 3882f4f044
1 changed files with 48 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
public/css/index.css
View File

@ -24,11 +24,15 @@ body {
overflow-y: auto !important; overflow-y: auto !important;
} }
.CodeMirror-code { .CodeMirror-code {
padding-bottom: 36px; /*padding-bottom: 36px;*/
}
.CodeMirror-gutter-elt {
text-align: center;
} }
.CodeMirror-linenumber { .CodeMirror-linenumber {
opacity: 0.5; /* opacity: 0.5;*/
width: 29px; min-width: 1.5em;
text-align: right;
} }
.CodeMirror-matchingtag { .CodeMirror-matchingtag {
background: rgba(255, 255, 255, .1); background: rgba(255, 255, 255, .1);
@ -38,9 +42,43 @@ body {
color: #d0d0d0; color: #d0d0d0;
text-shadow: none; text-shadow: none;
font-family: Arial; font-family: Arial;
font-size: 1em;
line-height: .3; line-height: .3;
cursor: pointer; cursor: pointer;
margin: 2px; margin: 2px;
padding-bottom: 2px;
}
.CodeMirror-foldgutter {
/*width: 1em;*/
cursor: default;
line-height: 100%;
}
.CodeMirror-foldgutter-open,
.CodeMirror-foldgutter-folded {
line-height: 1em;
cursor: pointer;
}
.CodeMirror-foldgutter-open {
padding-top: 1px;
}
.CodeMirror-foldgutter-folded {
padding-top: 2px;
}
.CodeMirror-foldgutter-open:after {
content: "⌵";
font-size: 1em;
/* opacity: 0.5;*/
}
.CodeMirror-foldgutter-folded:after {
content: "+";
font-size: 1em;
font-weight: 700;
}
.CodeMirror-foldmarker, .CodeMirror-foldgutter-folded:after {
color: #78B2F2 !important;
}
.CodeMirror-sizer {
margin-bottom: 0px !important;
} }
.ui-content { .ui-content {
height: 100%; height: 100%;
@ -256,6 +294,13 @@ div[contenteditable]:empty:not(:focus):before{
.cm-trailing-space-new-line:before { .cm-trailing-space-new-line:before {
content: '↵'; content: '↵';
}
.cm-matchhighlight {
/* border-radius: 5px;*/
/* box-shadow: 0 1px 0 0 #ccc;*/
border-bottom: 1px solid #ccc;
}
.status-bar { .status-bar {
background: #1c1c1e; background: #1c1c1e;