diff --git a/doc/header.html b/doc/header.html index c9e20dc0b..4e413cb21 100644 --- a/doc/header.html +++ b/doc/header.html @@ -1,5 +1,5 @@ @@ -8,12 +8,12 @@ Generated by `doxygen -w header.html ignored.html ignored.css`command and then modified based on doxygen-awesome header.html file --> - - + +
- + @@ -63,7 +63,7 @@ $extrastylesheet