html
|
head
|
|
link(rel="stylesheet" href="jsTree/themes/default/style.css")
|
link(rel="stylesheet" href="jsTree/jqPropertyGrid.css")
|
// STYLES
|
link(rel="stylesheet", href="/styles/0fc145572b09ffbad242.dhmc.css")
|
// STYLES END
|
// SCRIPTS
|
script(src="/js/0fc145572b09ffbad242.externals.js")
|
// SCRIPTS END
|
|
script(src="js/geometryPoolDebug.js")
|
script(src="jsTree/jqPropertyGrid.js")
|
|
body(style="height:100%;width: 100%;display:flex; flex-direction:column")
|
.ui.menu(style="flex: 1 40px")
|
.right.menu
|
a.ui.item#refresh Refresh
|
//.ui.grid
|
// .sixteen.wide.column(style="flex:1; display:flex;height: 100%; overflow-y: auto; overflow-x: hidden")
|
div(style="display:flex; flex: 1 100%;flex-direction: row")
|
div(style="flex:1 100%;overflow-x: auto; overflow-y: auto; display:flex")
|
#poolList(style="flex:1 100%;height: 100%")
|
div(style="flex:1 100%;overflow-x: auto; overflow-y: auto;")
|
#poolView(style="flex:1 100%;height: 100%; width: 100%")
|
|
|
