<!doctype html>
<html lang="en">

<head>
    <meta charset="utf-8">
    <meta http-equiv="x-ua-compatible" content="ie=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <meta name="googlebot" content="noindex">
    <title></title>
    <link rel="stylesheet" href="/css/fonts.css" />
    <link rel="stylesheet" href="/css/default.css" />
    <link rel="stylesheet" href="/css/pygentize.css" />
    <link rel="stylesheet" href="/css/chao-theorems.css">
    <script>
        // page title
        document.addEventListener("DOMContentLoaded", function () {
            const hostname = window.location.hostname;
            document.title = document.title + hostname;
        });
    </script>

</head>

<body>
    <div class="toc"></div>
    <div class="text-space">
        $partial("templates/navbar.html")$
        <main role="main">
            $body$
        </main>
    </div>
</body>

</html>