page.html 525 Bytes
Newer Older
 JosephK's avatar
JosephK committed
1
2
3
4
{% extends template.self %}

{% block body %}
    {{ super() }}
 JosephK's avatar
JosephK committed
5
6
7
    <script>
      const loc = window.location.href+'';
      if (/http:\/\//.test(loc) && /framasoft\./.test(window.location.host)){
 JosephK's avatar
JosephK committed
8
        window.location.href = loc.replace('framasoft.frama.io/docs','docs.framasoft.org').replace('http://','https://');
 JosephK's avatar
JosephK committed
9
10
11
12
13
      }

      const nav = document.createElement('script');
      nav.src="https://framasoft.org/nav/nav.js";
      document.getElementsByTagName('head')[0].appendChild(nav);
14
    </script>
 JosephK's avatar
JosephK committed
15
{% endblock %}