diff --git a/doc/misc/doxygenextra.css b/doc/misc/doxygenextra.css index 4c83419..bd67375 100644 --- a/doc/misc/doxygenextra.css +++ b/doc/misc/doxygenextra.css @@ -190,7 +190,8 @@ div.fragment { border-top: 60px solid #2980b9; background-color: #343131; width: 250px !important; - position: fixed + height: 100% !important; + position: fixed; } #nav-tree