Nemcio/Grav-Admin-Plugin
1
0
Fork 0
mirror of https://github.com/getgrav/grav-plugin-admin.git synced 2026-07-14 00:31:46 +02:00
Code Issues Packages Projects Releases Activity

Fixed codemirror padding

Browse Source
This commit is contained in:
Djamil Legato
2016-03-03 11:26:13 -08:00
parent c9e6d6c82e
commit b63ea40118
3 changed files with 10 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
themes/grav/css-compiled/template.css vendored
View File

File diff suppressed because one or more lines are too long

2
themes/grav/css-compiled/template.css.map
View File

File diff suppressed because one or more lines are too long

17
themes/grav/scss/template/_editor.scss
View File

@@ -111,15 +111,14 @@
cursor: text;
}
/*.grav-editor-content {
!*.CodeMirror {
padding: 10px 20px 20px 20px;
}*!
!*.CodeMirror-scroll {
padding-top: 5px;
padding-bottom: 10px;
}*!
}*/
.grav-editor-content {
.CodeMirror-code > .CodeMirror-line {
padding: 0 15px;
}
.CodeMirror-lines { padding: 10px 0; }
}
.grav-editor-preview {
padding: 20px;