From fd386e85a06a501b9d09f1969383bf336e4b18dd Mon Sep 17 00:00:00 2001 From: Tom Needham Date: Mon, 1 Jun 2015 14:53:56 +0100 Subject: Fix scrolling of editor --- css/style.css | 28 +++++++++++++++------------- 1 file changed, 15 insertions(+), 13 deletions(-) (limited to 'css') 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; -- cgit v1.2.3