Nemcio/Grav-Admin-Plugin
1
0
Fork 0
mirror of https://github.com/getgrav/grav-plugin-admin.git synced 2025-11-12 16:26:07 +01:00
Code Issues Packages Projects Releases Activity

Fixed padding again

Browse Source
This commit is contained in:
Djamil Legato
2016-03-03 11:41:16 -08:00
parent b63ea40118
commit 54f6b51d61
3 changed files with 12 additions and 5 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

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

@@ -113,11 +113,18 @@
.grav-editor-content { .grav-editor-content {
.CodeMirror-code > .CodeMirror-line { /* PADDING */
padding: 0 15px; .CodeMirror-lines {
padding: 10px 0; /* Vertical padding around content */
} }
.CodeMirror-lines { padding: 10px 0; } .CodeMirror pre {
padding: 0 15px; /* Horizontal padding of content */
}
.CodeMirror .CodeMirror-code > div pre {
padding: 0 4px; /* Horizontal padding of content with gutter / linenumbers */
}
} }
.grav-editor-preview { .grav-editor-preview {