<!DOCTYPE html> <html lang=β€œ{{page.lang | default:”enβ€œ}}”>

{% include head.html %}
<body>
        {% include header.html %}
        {{ content 
                | replace: '<!--qed-->', ' <span class="qed">&#8718;</span>'
                | replace: '\=\>', '&#8658;'
        }}
        {% include footer.html %}
        {% include google_analytics.html %}
        <!-- Page generated {{ site.time }} -->
        <!-- Page ID {{ page.id }} -->
</body>

</html>