tilde/fonts/index.php

35 lines
1.0 KiB
PHP

<!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>