Here's the code that powers this incredible website:

<?php
    if(isset($_GET["page"])) {
        $page = $_GET["page"];
    }else{
        header('Location: /?page=index.html', true, 302);
        die();
    }

    $content = file_get_contents("./public/" . $page);

    echo $content;

    if($page == "index.html"){
        highlight_file("index.php");
    }
?>