diff options
| author | root <root@frank.tg14.gathering.org> | 2014-04-18 00:32:39 +0200 |
|---|---|---|
| committer | root <root@frank.tg14.gathering.org> | 2014-04-18 00:32:39 +0200 |
| commit | e686370341e95830125fc1d3b40c9a61a5e8aed4 (patch) | |
| tree | 2e60ea8973000a6f80798ed2d06fc6729dd57511 /web/nms.gathering.org/ping.html | |
| parent | c7ba101d90a5c49167b3355a5a3b0c629964b9b1 (diff) | |
Modularize the ping page a bit.
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> |