diff options
Diffstat (limited to 'web/nms.gathering.org/ping.html')
| -rw-r--r-- | web/nms.gathering.org/ping.html | 25 |
1 files changed, 10 insertions, 15 deletions
diff --git a/web/nms.gathering.org/ping.html b/web/nms.gathering.org/ping.html index 8205077..3aea383 100644 --- a/web/nms.gathering.org/ping.html +++ b/web/nms.gathering.org/ping.html @@ -1,25 +1,20 @@ <html> + <head> + <title>Ping? Pong!</title> + </head> <body> - <style> -.switchname { - position: absolute; - font-family: sans-serif; - font-size: small; - white-space: nowrap; -} -.rot { - -webkit-transform: rotate(-90deg); - -webkit-transform-origin: 0% 0%; - transform: rotate(-90deg); - transform-origin: 0% 0%; - bottom: -14px; -} -</style> + <link rel="stylesheet" href="/ping.css"> <p id="playground"> <svg id="lines" width="1280" height="736" style="position: absolute; top: 0; left: 0; z-index: 1"> </svg> <img src="tg14-salkart.png" alt="" id="map" /> </p> + <script> + // These are used by ping.js, below. + var switches_url = "/switches-json.pl"; + var ping_url = "/ping-json.pl"; + var draw_linknets = true; + </script> <script type="text/javascript" src="ping.js"></script> </body> </html> |