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/Doxyfile.in | |
| 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/Doxyfile.in')
| -rw-r--r-- | src/Doxyfile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Doxyfile.in b/src/Doxyfile.in index 54ec9078..dc11d217 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in @@ -1117,7 +1117,7 @@ HTML_FOOTER = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/footer.html # obsolete. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css +HTML_STYLESHEET = # The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined # cascading style sheets that are included after the standard style sheets @@ -1130,7 +1130,7 @@ HTML_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_STYLESHEET = +HTML_EXTRA_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or # other source files which should be copied to the HTML output directory. Note |