diff options
Diffstat (limited to 'user_guide_src/source/_themes')
-rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html index 908590ebf..cc30e5ba4 100644 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html @@ -70,8 +70,8 @@ {%- endblock %} {%- block extrahead %} {% endblock %} - {# Keep modernizr in head - https://modernizr.com/docs/#installing #} - <script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js"></script> + {# Keep modernizr in head - http://modernizr.com/docs/#installing #} + <script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js" integrity="sha384-vEQs6vKzb8v6+GpGDCnXUQ6aa2DYtn5LTi/tA/85iEZfXN0nAYj0shvYo8ldQQ7m" crossorigin="anonymous"></script> </head> |