-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path404.html
57 lines (57 loc) · 2.56 KB
/
404.html
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!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>