@charset "utf-8"; body { background-color: #120018; color: #eee; padding: 0px; margin: 0px; height: 100%; width: 100%; overflow: hidden; } html { padding: 0px; height: 100%; width: 100%; overflow: hidden; } a { text-decoration: none; } p a { text-decoration: underline; color: #92779b; } p a:hover { color: #a477b3; } .hidden { display: none; } #status { background-color: #000; margin: 0px; padding: 5px; padding-bottom: 10px; font-family: Monospace; height: 2%; } #status:before { color: #781111; content: "Detached"; } #status > .left { float: left; } #status > .right { float: right; } #status > .center { display: none; } .connected #status:before { color: #378137; content: "Attached"; margin-right: 2em; float: left; } .pane { margin: 0px; overflow: auto; padding: 8px; width: 100%; height: 100%; box-sizing: border-box; word-wrap: break-word; position: relative; } .pane > .pane { width: calc(100% + 16px); height: initial; margin: -8px; } #panes { height: calc(98% - 15px); width: 100%; box-sizing: border-box; } .horizontal .pane { height: 100%; float: left; } .plot { width: 100%; height: 100%; border: 1px solid #333; margin: -1px; overflow: none; } #plot-mouseover { position: absolute; background-color: rgba(0,0,0,0.5); color: #eee; pointer-events: none; font-family: Monospace; } #plot-zoom-element { position: absolute; background-color: rgba(0,3,10,0.75); pointer-events: none; border: 1px solid #012; } .hljs { background-color: #120018; } #dialog { position: absolute; top: 10%; left: 10%; width: 70%; height: 70%; padding: 1em; background-color: #0e0013; border: 1px solid #a7a7a7; } #dialog > #message { margin: 0; height: calc(100% - 3em); } #dialog > .full-button { height: 1em; }