Fix scrollbar being hidden by header on site (#5342)

pull/5414/head
Rohan Kokane 4 years ago committed by GitHub
parent bd2175b67b
commit 5f938535a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -62,7 +62,6 @@
<style> <style>
main { main {
height: 100%;
position: relative; position: relative;
margin: 0 auto; margin: 0 auto;
/* padding: var(--nav-h) var(--side-nav) 0 var(--side-nav); */ /* padding: var(--nav-h) var(--side-nav) 0 var(--side-nav); */

@ -117,7 +117,7 @@
<style> <style>
.repl-outer { .repl-outer {
position: relative; position: relative;
height: 100%; height: calc(100vh - var(--nav-h));
--app-controls-h: 5.6rem; --app-controls-h: 5.6rem;
--pane-controls-h: 4.2rem; --pane-controls-h: 4.2rem;
overflow: hidden; overflow: hidden;

Loading…
Cancel
Save