-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
41 lines (32 loc) · 1.31 KB
/
index.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
<html>
<title>IGN Bookmarklet</title>
<style>
body {
font-family: Arial;
font-style: italic;
margin: auto;
padding-top: 3%;
text-align: center;
}
#bookmarklet {
font-size: 4em;
}
</style>
<body>
<h1>Installation</h1>
<p>Il suffit de glisser/déposer le lien ci-dessous dans vos marques pages :</p>
<p style="text-align:center"><a id="bookmarklet" href="">IGN Bookmarklet</a></p>
<p>Ceci devrait créer un nouveau marque page intitulé "IGN Bookmarklet".</p>
<h1>Utilisation</h1>
<p>Aller sur la page d'un jeu de données (par exemple : <a href="https://geoservices.ign.fr/bdtopo">BD TOPO</a>)</p>
<p>Cliquer sur le marque page</p>
<p>Le moteur de recherche doit apparaître en haut de page sous le titre du jeu de données.<p>
<p><a href="https://fr.wikipedia.org/wiki/Bookmarklet">Définition d'un bookmarklet sur Wikipédia</a></p>
</body>
<script>
document.addEventListener("DOMContentLoaded", function() {
var bookmarkhref = "javascript:(function(){%20var%20script=document.createElement('script');script.type='text/javascript';script.src=window.location.protocol+'//"+window.location.hostname+"/ign-bookmarklet/ign-bookmarklet.js';document.body.appendChild(script);})()";
document.getElementById("bookmarklet").href = bookmarkhref;
});
</script>
</html>