diff options
author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-06-14 13:19:27 +0000 |
---|---|---|
committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-06-14 13:19:27 +0000 |
commit | 5645e9fcbe5730462b2befb8685d3bb6857279be (patch) | |
tree | 814bbd8dc13f8a703e7e2335cf71fc10e8ff2279 | |
parent | 919e5586403316362a7e83b96b0fcb4cfa0d63e0 (diff) |
css for https version of the website must be in a valid https location
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@3616 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 6a85178a0299c744e26b7a98e92c515d9a721039
-rw-r--r-- | src/common/doc/header.html | 2 | ||||
-rw-r--r-- | src/cython/doc/_templates/layout.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/common/doc/header.html b/src/common/doc/header.html index f8b13ec4..c12d2816 100644 --- a/src/common/doc/header.html +++ b/src/common/doc/header.html @@ -9,7 +9,7 @@ <!--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="http://gudhi.gforge.inria.fr/assets/css/styles_feeling_responsive.css" /> +<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> diff --git a/src/cython/doc/_templates/layout.html b/src/cython/doc/_templates/layout.html index 1161ed8e..bc0e9658 100644 --- a/src/cython/doc/_templates/layout.html +++ b/src/cython/doc/_templates/layout.html @@ -107,7 +107,7 @@ {%- macro css() %} <!-- GUDHI website css for header BEGIN --> -<link rel="stylesheet" type="text/css" href="http://gudhi.gforge.inria.fr/assets/css/styles_feeling_responsive.css" /> +<link rel="stylesheet" type="text/css" href="https://gudhi.inria.fr/assets/css/styles_feeling_responsive.css" /> <!-- GUDHI website css for header END --> <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" /> <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" /> |