|
|
|
doctype html
|
|
|
|
html
|
|
|
|
head
|
|
|
|
title= title
|
|
|
|
link(rel='stylesheet', href='/style.css')
|
|
|
|
link(rel='stylesheet', href='/jquery-ui.structure.min.css')
|
|
|
|
link(rel='stylesheet', href='/jquery-ui.theme.min.css')
|
|
|
|
link(rel='stylesheet', href='/jquery-ui.min.css')
|
|
|
|
script(type="text/javascript", src="/jquery.min.js")
|
|
|
|
script(type="text/javascript", src="/jquery-ui.min.js")
|
|
|
|
script(type="text/javascript", src="/viz.js")
|
|
|
|
script(type="text/javascript", src="/docker.js")
|
|
|
|
script(type="text/javascript", src="/socket.io.js")
|
|
|
|
script(type="text/javascript", src="/servicedock.js")
|
|
|
|
body.top
|
|
|
|
header#header
|
|
|
|
h1 ServiceDock
|
|
|
|
nav#menu
|
|
|
|
a.menu#svg download image
|
|
|
|
a.menu#dot download source
|
|
|
|
a.menu#data download data
|
|
|
|
div.menu
|
|
|
|
label(for="upload") upload data
|
|
|
|
input(type="file", name="upload")#upload
|
|
|
|
div#info
|
|
|
|
div#zoom
|
|
|
|
a#zoomin 🔎+
|
|
|
|
a#zoomreset 0
|
|
|
|
a#zoomout -🔍
|
|
|
|
div#orientation
|
|
|
|
div#clock= (new Date()).toLocaleString()
|
|
|
|
div#status.error
|
|
|
|
main
|
|
|
|
block content
|
|
|
|
footer
|
|
|
|
div#error
|