<!DOCTYPE html> <html lang="ja"> <head> <title>GPSescape</title> <link rel="stylesheet" type="text/css" href="../src/leaflet.css"> <script type="text/javascript" src="../src/leaflet.js"></script> <script type="text/javascript" src="gps-chase.js"></script> <link rel="stylesheet" href="chase.css"> <style type="text/css"> <!-- div#gpsmap {width: 90vw; height: 75vw; margin: auto;} --> </style> </head> <body> <center><h1>Escape<span id="title"></span></h1></center> <hr> <center><p> <button id="start" type="button">START</button> <button id="stop" type="button">STOP</button> <a href="../src/gps-chase.js">src</a> </p> </center> <div id="gpsmap"></div> <div id="mymap"></div> <hr> <center><p>play video</p></center> <center><video controls width="250"> <source src="video_gam.mov" type="video/webm"> <source src="video_gam.mov" type="video/mp4"> </video></center> <p>references</p> <p>https://developer.mozilla.org/ja/docs/Web/HTML/Element/video</p> </body> </html>