diff options
author | Tom Needham <tom@owncloud.com> | 2015-06-01 16:53:56 +0300 |
---|---|---|
committer | Tom Needham <tom@owncloud.com> | 2015-06-01 16:53:56 +0300 |
commit | fd386e85a06a501b9d09f1969383bf336e4b18dd (patch) | |
tree | 70e2d3c5e41813d2e90633486543e193b1b08388 /css/style.css | |
parent | a4827175ae19635316e6694b76631047bb1925ff (diff) |
Fix scrolling of editor
Diffstat (limited to 'css/style.css')
-rw-r--r-- | css/style.css | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/css/style.css b/css/style.css index 6bafbb7..7e6516e 100644 --- a/css/style.css +++ b/css/style.css @@ -7,15 +7,26 @@ background-color: white; height: 44px; border-bottom: 2px solid #eee; + position: absolute; + top: 0; + width: 100%; + z-index: 1000; +} +#editor div.ace_gutter, #editor div.ace_scroller { + margin-top: 46px; } #editor { - position: relative; display: block; + height: 100%; + width: 100%; + overflow: hidden; +} + +#editor_wrap { + position: absolute; top: 0; - left: 0; - z-index: 20; height: 100%; width: 100%; overflow: hidden; @@ -70,20 +81,11 @@ background-color: #ddd; } -#editorcontrols > button, #editorsearchval { +#editorcontrols > button { height: 30px !important; margin-top: 7px; } -#nextsearchbtn { - padding-top: 5px !important; - margin-top: 6px !important; -} - -.viewer-mode #app-navigation+#app-content #controls { - width: initial: !important; -} - #editor_controls small.filename { float: left; color: #555; |