diff --git a/_content/tour/static/css/app.css b/_content/tour/static/css/app.css index c8cd9db7ed..b422bde51a 100755 --- a/_content/tour/static/css/app.css +++ b/_content/tour/static/css/app.css @@ -317,6 +317,7 @@ a#run, a#kill { font-family: 'Inconsolata', monospace; background: #fafafa; margin: 0; + min-width: min-content; } .output .system { color: #888; @@ -516,6 +517,7 @@ a#run, a#kill { } #explorer + div { top: 32px; + height: calc(100% - 32px); } #file-menu { position: absolute;