diff options
Diffstat (limited to 'files/fr/web/api/geolocation_api/index.html')
| -rw-r--r-- | files/fr/web/api/geolocation_api/index.html | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/files/fr/web/api/geolocation_api/index.html b/files/fr/web/api/geolocation_api/index.html index 330ac12430..153bce57b2 100644 --- a/files/fr/web/api/geolocation_api/index.html +++ b/files/fr/web/api/geolocation_api/index.html @@ -103,8 +103,7 @@ var wpid = navigator.geolocation.watchPosition(geo_success, geo_error, geo_optio <h2 id="Exemple_interactif">Exemple interactif</h2> -<div class="hidden"> -<pre class="brush: css">body { +<pre class="brush: css hidden">body { padding: 20px; background-color:#ffffc9 } @@ -113,7 +112,6 @@ button { margin: .5rem 0; } </pre> -</div> <h3 id="HTML">HTML</h3> @@ -241,6 +239,6 @@ prompt(window, <ul> <li>{{domxref("navigator.geolocation")}}</li> - <li><a href="https://www.w3.org/TR/geolocation-API/" rel="external">L'API Geolocation sur w3.org</a></li> + <li><a href="https://www.w3.org/TR/geolocation-API/">L'API Geolocation sur w3.org</a></li> <li><a href="https://hacks.mozilla.org/2013/10/who-moved-my-geolocation/">Qui a déplacé ma géolocalisation ? sur le blog Hacks</a></li> </ul> |