diff options
| author | albert-github <albert.tests@gmail.com> | 2022-05-26 15:54:43 +0200 |
|---|---|---|
| committer | albert-github <albert.tests@gmail.com> | 2022-05-26 15:54:43 +0200 |
| commit | ba96ba348dc9163a51752cab639f0333f5af0533 (patch) | |
| tree | 9f4ebbfb70ca688bafdc443034e380718aa1b8eb /src/common/doc/header.html | |
| parent | 8257703ac787ed5812cef196e864187fd22e5cff (diff) | |
issue #613 [cpp documentation] Footer needs to be generated with a more recent version of doxygen
The problem was that the update of the treeview was not called in the footer, though after correcting this some new problems occurred in respect to the treeview (the small pointers ran into the text) and with the in page table of cvontents (e.g. in installation.html).
- footer.html: call proper update function by means of `<div>`, as base the 1.9.4 version served but also older version work.
- stylesheet.css, Doxyfile.in: implemented as extra stylesheet and for the "small pointer" problem adjusted the `.arrow` settings
- header.html:
- placed the `<link rel="stylesheet" type="text/css" href="https://gudhi.inria.fr/assets/css/styles_feeling_responsive.css" />` more as an extra stylesheet as otherwise a second scrollbar would occur
- placed the `div id="top">` at the right place
- corrected `<img>` tag so it is properly closed (so XML compliant)
- corrected setting of `data-topbar` to `data-topbar=true` as HTML5 does not allow attributes without values.
Diffstat (limited to 'src/common/doc/header.html')
| -rw-r--r-- | src/common/doc/header.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 7c20478b..a97e1b2f 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -8,9 +8,6 @@ <meta name="generator" content="Doxygen $doxygenversion"/> <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME--> <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME--> -<!-- GUDHI website css for header BEGIN --> -<link rel="stylesheet" type="text/css" href="https://gudhi.inria.fr/assets/css/styles_feeling_responsive.css" /> -<!-- GUDHI website css for header END --> <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/> <script type="text/javascript" src="$relpath^jquery.js"></script> <script type="text/javascript" src="$relpath^dynsections.js"></script> @@ -18,13 +15,17 @@ $treeview $search $mathjax <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" /> +<!-- GUDHI website css for header BEGIN --> +<link rel="stylesheet" type="text/css" href="https://gudhi.inria.fr/assets/css/styles_feeling_responsive.css" /> +<!-- GUDHI website css for header END --> $extrastylesheet </head> <body> +<div id="top"><!-- do not remove this div, it is closed by doxygen! --> <!-- GUDHI website header BEGIN --> <div id="navigation" class="sticky"> - <nav class="top-bar" role="navigation" data-topbar> + <nav class="top-bar" role="navigation" data-topbar="true"> <ul class="title-area"> <li class="name"> <h1 class="show-for-small-only"><a href="" class="icon-tree"> GUDHI library</a></h1> @@ -38,7 +39,7 @@ $extrastylesheet <li><a href="/contact/">Contact</a></li> </ul> <ul class="left"> - <li><a href="/"> <img src="/assets/img/home.png" alt=" GUDHI"> GUDHI </a></li> + <li><a href="/"> <img src="/assets/img/home.png" alt=" GUDHI"/> GUDHI </a></li> <li class="divider"></li> <li class="has-dropdown"> <a href="#">Project</a> @@ -85,7 +86,6 @@ $extrastylesheet </div><!-- /#navigation --> <!-- GUDHI website header END --> -<div id="top"><!-- do not remove this div, it is closed by doxygen! --> <!--BEGIN TITLEAREA--> <div id="titlearea"> |