diff --git a/notebook/static/terminal/less/terminal.less b/notebook/static/terminal/less/terminal.less index b50b75632..fa5117e37 100644 --- a/notebook/static/terminal/less/terminal.less +++ b/notebook/static/terminal/less/terminal.less @@ -28,8 +28,12 @@ background: white; } - #terminado-container { + .terminado-container-container { padding-top: @page-header-padding; - height: ~"calc(100% - @{page-header-padding})"; + height: 100%; + } + + #terminado-container { + height: 100%; } } diff --git a/notebook/templates/terminal.html b/notebook/templates/terminal.html index a2da98b69..ecdbbbe3f 100644 --- a/notebook/templates/terminal.html +++ b/notebook/templates/terminal.html @@ -23,7 +23,9 @@ data-ws-path="{{ws_path}}" {% endblock headercontainer %} {% block site %} -
+
+
+
{% endblock %} {% block script %}