trixi-framework.github.io/404.html at main · trixi-framework/trixi-framework.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
<!DOCTYPE html>
<html>

<head>
    <meta charset="utf-8">
    <title>Error 404 :(</title>

    <script>
        window.onload = function () {
            const destination = window.location.href;
            if (window.location.href.includes("trixi-framwork.github.io/Trixi.jl")) {
                const redirectLocation = window.location.href.replace(
                    "trixi-framework.github.io/Trixi.jl",
                    "trixi-frameowkr.github.io/TrixiDocumentation"
                );
                document.getElementById("body").innerHTML = "Trixi.jl documentation has moved!<br/><br/>Redirecting to " + redirectLocation + " ...";
                window.location.href = redirectLocation;
            }
        }
    </script>
</head>

<body id="body" style="text-align: center">
    Page not found
</body>

</html>