_404_redirect.html

<script type='text/javascript'>
var url = document.location.href
var s = false

if(url.startsWith("https://")){
    url = url.substring(8)
    s = true
} else if(url.startsWith("http://")){
    url = url.substring(7)
    s = false
}
if(url.startsWith("www.")){
    url = url.substring(4)
}
if(url.startsWith("fenicsproject.org/")){
    url = url.substring(18)
}

if(url.startsWith("pub/")){
    if(s){
        window.location.assign("https://a654cc05c43271a5d22f-f8befe5e0dcd44ae0dccf352c00b4664.ssl.cf5.rackcdn.com/" + url.substring(4))
    } else {
        window.location.assign("http://pub.fenicsproject.org/" + url.substring(4))
    }
}
if(url == "pub"){
    if(s){
        window.location.assign("https://a654cc05c43271a5d22f-f8befe5e0dcd44ae0dccf352c00b4664.ssl.cf5.rackcdn.com/")
    } else {
        window.location.assign("http://pub.fenicsproject.org/")
    }
}
if(url.startsWith("olddocs/")){
    window.location.assign("https://olddocs.fenicsproject.org/" + url.substring(8))
}
if(url == "olddocs"){
    window.location.assign("https://olddocs.fenicsproject.org/")
}
if(url.startsWith("qa/")){
    window.location.assign("https://oldqa.fenicsproject.org/" + url.substring(3))
}
if(url == "qa"){
    window.location.assign("https://oldqa.fenicsproject.org/")
}
</script>