diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2014-09-10 22:59:32 +0200 | 
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2014-09-10 22:59:32 +0200 | 
| commit | 86e0e122a475dfd4f627fc95a9458e7527d72a00 (patch) | |
| tree | 6c85c5b28d1f94cf146b16039f6df27aeeb484d3 /html/webapp/index.html | |
| download | RustAndDust-86e0e122a475dfd4f627fc95a9458e7527d72a00.zip RustAndDust-86e0e122a475dfd4f627fc95a9458e7527d72a00.tar.gz | |
Initial commit
Diffstat (limited to 'html/webapp/index.html')
| -rw-r--r-- | html/webapp/index.html | 32 | 
1 files changed, 32 insertions, 0 deletions
| diff --git a/html/webapp/index.html b/html/webapp/index.html new file mode 100644 index 0000000..87549fc --- /dev/null +++ b/html/webapp/index.html @@ -0,0 +1,32 @@ +<!doctype html> +<html> +       <head> +              <title>TankOnTank</title> +              <meta http-equiv="content-type" content="text/html; charset=UTF-8"> +              <link href="styles.css" rel="stylesheet" type="text/css"> +              <script src="soundmanager2-setup.js"></script>   +  			  <script src="soundmanager2-jsmin.js"></script>  +       </head> +        +       <body>               +              <a class="superdev" href="javascript:%7B%20window.__gwt_bookmarklet_params%20%3D%20%7B'server_url'%3A'http%3A%2F%2Flocalhost%3A9876%2F'%7D%3B%20var%20s%20%3D%20document.createElement('script')%3B%20s.src%20%3D%20'http%3A%2F%2Flocalhost%3A9876%2Fdev_mode_on.js'%3B%20void(document.getElementsByTagName('head')%5B0%5D.appendChild(s))%3B%7D">SuperDev Refresh</a> +              <div align="center" id="embed-html"></div> +              <script type="text/javascript" src="html/html.nocache.js"></script> +       </body> +        +       <script> +              function handleMouseDown(evt) { +                evt.preventDefault(); +                evt.stopPropagation(); +                evt.target.style.cursor = 'default'; +              } +               +              function handleMouseUp(evt) { +                evt.preventDefault(); +                evt.stopPropagation(); +                evt.target.style.cursor = ''; +              } +              document.getElementById('embed-html').addEventListener('mousedown', handleMouseDown, false); +              document.getElementById('embed-html').addEventListener('mouseup', handleMouseUp, false); +       </script> +</html>
\ No newline at end of file | 
