<!DOCTYPE html>
<html>
    <head>
        <title>some fonts</title>
        <link rel="stylesheet" href="../gruvbox/gruvbox.css">
        <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    </head>
    <body id="top">
        <main>
            <h1>fonts</h1>

            <p><a href="..">&lt;- back</a></p>

            <p>feel free to use this webfont mirror</p>

            <p>
                you can use <pre>@import</pre> in your css or just include a <pre>&lt;link rel="stylesheet" href="[paste link here]" /&gt;</pre> to
                the css to get the fonts defined properly
            </p>

            <hr>

            <?php foreach (glob("*") as $dir) {
                if (!is_dir($dir)) continue;
                $dir = basename($dir); ?>

                <h4><a href="display.php?font=<?=$dir?>"><?=$dir?></a> - <a href="<?=$dir?>/">dir</a></h4>

                <pre>@import "https://tilde.team/~ben/fonts/<?=$dir?>/font.css";</pre>
            <?php } ?>
        </main>
    </body>
</html>

