diff --git a/doc/doxygen/custom.css b/doc/doxygen/custom.css index 214ee2c3..226716b9 100644 --- a/doc/doxygen/custom.css +++ b/doc/doxygen/custom.css @@ -75,6 +75,10 @@ span.permalink a { } +#nav-sync { + display: none; +} + #nav-tree, div.header, .ui-resizable-e,