404.html

<!DOCTYPE html>
<html>
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
    <title>Page inexistante - MicroAlg</title>
    <meta name="description"
          content="Environnement en ligne pour MicroAlg." />
    <meta name="keywords" content="microalg, algo, algorithme, algorithmique, lisp, environnement" />
    <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
    <script>window.jQuery || document.write('<script src="web/jquery.min.js"><\/script>')</script>
    <script src="emulisp/int.js" type="text/javascript"></script>
    <script src="emulisp/emulisp_core.js" type="text/javascript"></script>
    <link rel="stylesheet" type="text/css" href="web/style.css" />
    <script type="text/javascript" src="web/ide_injections.js"></script>
    <script type="text/javascript" src="web/parenedit.js"></script>
    <link type="text/css" href="web/parenedit.css" rel="stylesheet" />
    <script src="web/showdown.js"></script>
    <script src="web/jquery.terminal-min.js"></script>
    <link href="web/jquery.terminal.css" rel="stylesheet"/>
</head>
<body class="microalg">
    <noscript>
        <div style="color:#CC0000; text-align:center">
        Besoin de Javascript pour utiliser cet 404.
        </div>
    </noscript>
    <h1>Page inexistante</h1>
    <h2>Erreur 404</h2>
    <p>Peut-être cherchez-vous la
        <a href="http://galerie.microalg.info">galerie</a> ?</p>
    <p>Sinon vous pouvez en profiter pour écrire un petit programme, ou
    <a href="/">retourner à l’accueil</a> du site.</p>
    <div id="script-container" class="malg-container"></div>
    <script>
        onload = function () {
            inject_microalg_editor_in('script-container',
                {src: '(Afficher "Et c’est bien dommage !")',
                 blockly: true
                 });
            // Focus et curseur final dans l’éditeur:
            var txtarea = $('#script-container').find('.malg-editor').first();
            txtarea.focus().selectRange(txtarea.val().length, txtarea.val().length);
        }
    </script>
    <script type="text/javascript">
        var $_Tawk_API={},$_Tawk_LoadStart=new Date();
        (function(){
            var s1=document.createElement("script"),s0=document.getElementsByTagName("script")[0];
            s1.async=true;
            s1.src='https://embed.tawk.to/5583e0d1cea5d22b4acfee51/default';
            s1.charset='UTF-8';
            s1.setAttribute('crossorigin','*');
            s0.parentNode.insertBefore(s1,s0);
        })();
    </script>
</body>
</html>