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