diff options
| -rw-r--r-- | docs/app/assets/css/docs.css | 5 | 
1 files changed, 4 insertions, 1 deletions
| diff --git a/docs/app/assets/css/docs.css b/docs/app/assets/css/docs.css index 3673daa8..64f2e4b7 100644 --- a/docs/app/assets/css/docs.css +++ b/docs/app/assets/css/docs.css @@ -22,7 +22,6 @@ html, body {    padding-bottom: 2em;  } -  .header-fixed {    position:fixed;    z-index:1000; @@ -31,6 +30,10 @@ html, body {    right:0;  } +.header-branding { +  min-height:41px!important; +} +  .docs-navbar-primary {    border-radius:0!important;    margin-bottom:0!important; | 
