diff options
Diffstat (limited to 'src/common/doc/header.html')
| -rw-r--r-- | src/common/doc/header.html | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index 9da20bbc..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> @@ -49,6 +50,7 @@ $extrastylesheet <li><a href="/relatedprojects/">Related projects</a></li> <li><a href="/theyaretalkingaboutus/">They are talking about us</a></li> <li><a href="/inaction/">GUDHI in action</a></li> + <li><a href="/etymology/">Etymology</a></li> </ul> </li> <li class="divider"></li> @@ -84,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"> |