diff --git a/docs/css/customstyles.css b/docs/css/customstyles.css index 45885d182b..af50b5ecdb 100644 --- a/docs/css/customstyles.css +++ b/docs/css/customstyles.css @@ -29,6 +29,8 @@ body { margin-top: 60px; margin-left: -15px; margin-right: 15px; + height: 80%; + overflow: auto; } .container { margin-left: 15px; @@ -49,6 +51,8 @@ body { margin-top: 60px; margin-left: -15px; margin-right: 15px; + height: 80%; + overflow: auto; } .container { margin-left: 15px;