diff options
Diffstat (limited to 'include/prelude.php')
| -rw-r--r-- | include/prelude.php | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/include/prelude.php b/include/prelude.php index f89d036..e7d6324 100644 --- a/include/prelude.php +++ b/include/prelude.php @@ -26,18 +26,6 @@ }; } - function pageBackgroundImage($page) { - return match ($page) { - "benoit" => "/svg/benoitBackground.svg", - "dux" => "/image/duxBackground.webp", - default => null, - }; - } - - function pageGlyph($page) { - return "/svg/glyph/" . $page . ".svg"; - } - function addHeading($title, $anchor) { $anchor = "anchor." . $anchor; |