@ -29,6 +29,7 @@
}
#terminado-container {
margin-top: @page-header-padding;
padding-top: @page-header-padding;
height: ~"calc(100% - @{page-header-padding})";