flammarion 0.0.1

data/lib/html/build/stylesheets/buttons.css

@@ -0,0 +1,179 @@
+.full-button {
+  background-color: #120018;
+  color: #eee;
+  font-family: Monospace;
+  border: 1px solid #a7a7a7;
+  padding: 1em;
+  text-decoration: none;
+  display: block;
+  text-align: center;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  user-select: none;
+  -webkit-user-select: none;
+}
+.full-button:hover {
+  background-color: #360049;
+}
+.full-button:active {
+  background-color: #5b0079;
+}
+.inline-text-input {
+  background-color: #120018;
+  color: #eee;
+  font-family: Monospace;
+  border: 1px solid #a7a7a7;
+  padding: 1em;
+  text-decoration: none;
+  display: block;
+  text-align: center;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  user-select: none;
+  -webkit-user-select: none;
+  text-align: left;
+  box-sizing: border-box;
+  width: 100%;
+}
+.inline-text-input:hover {
+  background-color: #360049;
+}
+.inline-text-input:active {
+  background-color: #5b0079;
+}
+.inline-text-input.unclicked {
+  color: #777;
+}
+textarea.inline-text-input {
+  height: 25em;
+}
+input::-webkit-input-placeholder {
+  color: #777;
+}
+input:focus::-webkit-input-placeholder {
+  opacity: 0;
+}
+.inline-checkbox {
+  padding: 0.2em;
+  -webkit-user-select: none;
+  user-select: none;
+}
+.inline-checkbox > span {
+  vertical-align: middle;
+}
+.inline-checkbox input[type=checkbox] {
+  display: none;
+}
+.inline-checkbox:before {
+  display: inline-block;
+  vertical-align: middle;
+  content: " ";
+  width: 1em;
+  height: 1em;
+  border: 1px solid #a7a7a7;
+  margin-right: 0.5em;
+}
+.inline-checkbox.checked:before {
+  background-color: #a400da;
+}
+.inline-checkbox:hover {
+  background-color: #360049;
+}
+#toolbar {
+  background-color: #000;
+  margin: 0px;
+  font-family: Monospace;
+  height: calc(2% + 15px);
+}
+.tool-button {
+  float: left;
+  padding: 0.5em;
+  margin: 0;
+  text-decoration: none;
+  color: #eee;
+  border-right: 1px solid;
+  border-left: 1px solid;
+  margin-right: 0em;
+}
+.tool-button:hover {
+  background-color: #333;
+}
+.button-box {
+  position: absolute;
+  top: 0.5em;
+  right: 0.5em;
+  margin-right: 0.5em;
+  background-color: rgba(0,0,0,0.5);
+  padding: 0.5em;
+  z-index: 3;
+}
+.button-box .full-button,
+.button-box .inline-text-input,
+.button-box .inline-checkbox {
+  float: left;
+  margin: 0;
+  padding: 0.2em;
+}
+.button-box .full-button:active,
+.button-box .inline-checkbox:active {
+  margin-top: 0.1em;
+  margin-bottom: -0.1em;
+}
+.button-box .inline-text-input {
+  width: auto;
+}
+.button-box .inline-checkbox {
+  border: 1px solid #a7a7a7;
+}
+.button-box .inline-checkbox:before {
+  border: 1px solid #474747;
+  height: 50%;
+}
+.inline-button {
+  background-color: #120018;
+  color: #eee;
+  font-family: Monospace;
+  border: 1px solid #a7a7a7;
+  padding: 1em;
+  text-decoration: none;
+  display: block;
+  text-align: center;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  user-select: none;
+  -webkit-user-select: none;
+  display: inline;
+}
+.inline-button:hover {
+  background-color: #360049;
+}
+.inline-button:active {
+  background-color: #5b0079;
+}
+.floating-button {
+  background-color: #120018;
+  color: #eee;
+  font-family: Monospace;
+  border: 1px solid #a7a7a7;
+  padding: 1em;
+  text-decoration: none;
+  display: block;
+  text-align: center;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
+  user-select: none;
+  -webkit-user-select: none;
+  float: left;
+  margin: 0;
+  padding: 0.2em;
+}
+.floating-button:hover {
+  background-color: #360049;
+}
+.floating-button:active {
+  background-color: #5b0079;
+}
+.floating-button:active {
+  margin-top: 0.1em;
+  margin-bottom: -0.1em;
+}

data/lib/html/build/stylesheets/frontend.css

@@ -0,0 +1,112 @@
+@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;
+}
+.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 {
+  margin: -8px;
+  margin-right: -16px;
+}
+#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;
+}

data/lib/html/build/stylesheets/leaflet.css

@@ -0,0 +1,479 @@
+/* required styles */
+
+
+.leaflet-map-pane,
+.leaflet-tile,
+.leaflet-marker-icon,
+.leaflet-marker-shadow,
+.leaflet-tile-pane,
+.leaflet-tile-container,
+.leaflet-overlay-pane,
+.leaflet-shadow-pane,
+.leaflet-marker-pane,
+.leaflet-popup-pane,
+.leaflet-overlay-pane svg,
+.leaflet-zoom-box,
+.leaflet-image-layer,
+.leaflet-layer {
+	position: absolute;
+	left: 0;
+	top: 0;
+	}
+.leaflet-container {
+	overflow: hidden;
+	-ms-touch-action: none;
+	}
+.leaflet-tile,
+.leaflet-marker-icon,
+.leaflet-marker-shadow {
+	-webkit-user-select: none;
+	   -moz-user-select: none;
+	        user-select: none;
+	-webkit-user-drag: none;
+	}
+.leaflet-marker-icon,
+.leaflet-marker-shadow {
+	display: block;
+	}
+/* map is broken in FF if you have max-width: 100% on tiles */
+.leaflet-container img {
+	max-width: none !important;
+	}
+/* stupid Android 2 doesn't understand "max-width: none" properly */
+.leaflet-container img.leaflet-image-layer {
+	max-width: 15000px !important;
+	}
+.leaflet-tile {
+	filter: inherit;
+	visibility: hidden;
+	}
+.leaflet-tile-loaded {
+	visibility: inherit;
+	}
+.leaflet-zoom-box {
+	width: 0;
+	height: 0;
+	}
+/* workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=888319 */
+.leaflet-overlay-pane svg {
+	-moz-user-select: none;
+	}
+
+.leaflet-tile-pane    { z-index: 2; }
+.leaflet-objects-pane { z-index: 3; }
+.leaflet-overlay-pane { z-index: 4; }
+.leaflet-shadow-pane  { z-index: 5; }
+.leaflet-marker-pane  { z-index: 6; }
+.leaflet-popup-pane   { z-index: 7; }
+
+.leaflet-vml-shape {
+	width: 1px;
+	height: 1px;
+	}
+.lvml {
+	behavior: url(#default#VML);
+	display: inline-block;
+	position: absolute;
+	}
+
+
+/* control positioning */
+
+.leaflet-control {
+	position: relative;
+	z-index: 7;
+	pointer-events: auto;
+	}
+.leaflet-top,
+.leaflet-bottom {
+	position: absolute;
+	z-index: 1000;
+	pointer-events: none;
+	}
+.leaflet-top {
+	top: 0;
+	}
+.leaflet-right {
+	right: 0;
+	}
+.leaflet-bottom {
+	bottom: 0;
+	}
+.leaflet-left {
+	left: 0;
+	}
+.leaflet-control {
+	float: left;
+	clear: both;
+	}
+.leaflet-right .leaflet-control {
+	float: right;
+	}
+.leaflet-top .leaflet-control {
+	margin-top: 10px;
+	}
+.leaflet-bottom .leaflet-control {
+	margin-bottom: 10px;
+	}
+.leaflet-left .leaflet-control {
+	margin-left: 10px;
+	}
+.leaflet-right .leaflet-control {
+	margin-right: 10px;
+	}
+
+
+/* zoom and fade animations */
+
+.leaflet-fade-anim .leaflet-tile,
+.leaflet-fade-anim .leaflet-popup {
+	opacity: 0;
+	-webkit-transition: opacity 0.2s linear;
+	   -moz-transition: opacity 0.2s linear;
+	     -o-transition: opacity 0.2s linear;
+	        transition: opacity 0.2s linear;
+	}
+.leaflet-fade-anim .leaflet-tile-loaded,
+.leaflet-fade-anim .leaflet-map-pane .leaflet-popup {
+	opacity: 1;
+	}
+
+.leaflet-zoom-anim .leaflet-zoom-animated {
+	-webkit-transition: -webkit-transform 0.25s cubic-bezier(0,0,0.25,1);
+	   -moz-transition:    -moz-transform 0.25s cubic-bezier(0,0,0.25,1);
+	     -o-transition:      -o-transform 0.25s cubic-bezier(0,0,0.25,1);
+	        transition:         transform 0.25s cubic-bezier(0,0,0.25,1);
+	}
+.leaflet-zoom-anim .leaflet-tile,
+.leaflet-pan-anim .leaflet-tile,
+.leaflet-touching .leaflet-zoom-animated {
+	-webkit-transition: none;
+	   -moz-transition: none;
+	     -o-transition: none;
+	        transition: none;
+	}
+
+.leaflet-zoom-anim .leaflet-zoom-hide {
+	visibility: hidden;
+	}
+
+
+/* cursors */
+
+.leaflet-clickable {
+	cursor: pointer;
+	}
+.leaflet-container {
+	cursor: -webkit-grab;
+	cursor:    -moz-grab;
+	}
+.leaflet-popup-pane,
+.leaflet-control {
+	cursor: auto;
+	}
+.leaflet-dragging .leaflet-container,
+.leaflet-dragging .leaflet-clickable {
+	cursor: move;
+	cursor: -webkit-grabbing;
+	cursor:    -moz-grabbing;
+	}
+
+
+/* visual tweaks */
+
+.leaflet-container {
+	background: #ddd;
+	outline: 0;
+	}
+.leaflet-container a {
+	color: #0078A8;
+	}
+.leaflet-container a.leaflet-active {
+	outline: 2px solid orange;
+	}
+.leaflet-zoom-box {
+	border: 2px dotted #38f;
+	background: rgba(255,255,255,0.5);
+	}
+
+
+/* general typography */
+.leaflet-container {
+	font: 12px/1.5 "Helvetica Neue", Arial, Helvetica, sans-serif;
+	}
+
+
+/* general toolbar styles */
+
+.leaflet-bar {
+	box-shadow: 0 1px 5px rgba(0,0,0,0.65);
+	border-radius: 4px;
+	}
+.leaflet-bar a,
+.leaflet-bar a:hover {
+	background-color: #fff;
+	border-bottom: 1px solid #ccc;
+	width: 26px;
+	height: 26px;
+	line-height: 26px;
+	display: block;
+	text-align: center;
+	text-decoration: none;
+	color: black;
+	}
+.leaflet-bar a,
+.leaflet-control-layers-toggle {
+	background-position: 50% 50%;
+	background-repeat: no-repeat;
+	display: block;
+	}
+.leaflet-bar a:hover {
+	background-color: #f4f4f4;
+	}
+.leaflet-bar a:first-child {
+	border-top-left-radius: 4px;
+	border-top-right-radius: 4px;
+	}
+.leaflet-bar a:last-child {
+	border-bottom-left-radius: 4px;
+	border-bottom-right-radius: 4px;
+	border-bottom: none;
+	}
+.leaflet-bar a.leaflet-disabled {
+	cursor: default;
+	background-color: #f4f4f4;
+	color: #bbb;
+	}
+
+.leaflet-touch .leaflet-bar a {
+	width: 30px;
+	height: 30px;
+	line-height: 30px;
+	}
+
+
+/* zoom control */
+
+.leaflet-control-zoom-in,
+.leaflet-control-zoom-out {
+	font: bold 18px 'Lucida Console', Monaco, monospace;
+	text-indent: 1px;
+	}
+.leaflet-control-zoom-out {
+	font-size: 20px;
+	}
+
+.leaflet-touch .leaflet-control-zoom-in {
+	font-size: 22px;
+	}
+.leaflet-touch .leaflet-control-zoom-out {
+	font-size: 24px;
+	}
+
+
+/* layers control */
+
+.leaflet-control-layers {
+	box-shadow: 0 1px 5px rgba(0,0,0,0.4);
+	background: #fff;
+	border-radius: 5px;
+	}
+.leaflet-control-layers-toggle {
+	background-image: url(images/layers.png);
+	width: 36px;
+	height: 36px;
+	}
+.leaflet-retina .leaflet-control-layers-toggle {
+	background-image: url(images/layers-2x.png);
+	background-size: 26px 26px;
+	}
+.leaflet-touch .leaflet-control-layers-toggle {
+	width: 44px;
+	height: 44px;
+	}
+.leaflet-control-layers .leaflet-control-layers-list,
+.leaflet-control-layers-expanded .leaflet-control-layers-toggle {
+	display: none;
+	}
+.leaflet-control-layers-expanded .leaflet-control-layers-list {
+	display: block;
+	position: relative;
+	}
+.leaflet-control-layers-expanded {
+	padding: 6px 10px 6px 6px;
+	color: #333;
+	background: #fff;
+	}
+.leaflet-control-layers-selector {
+	margin-top: 2px;
+	position: relative;
+	top: 1px;
+	}
+.leaflet-control-layers label {
+	display: block;
+	}
+.leaflet-control-layers-separator {
+	height: 0;
+	border-top: 1px solid #ddd;
+	margin: 5px -10px 5px -6px;
+	}
+
+
+/* attribution and scale controls */
+
+.leaflet-container .leaflet-control-attribution {
+	background: #fff;
+	background: rgba(255, 255, 255, 0.7);
+	margin: 0;
+	}
+.leaflet-control-attribution,
+.leaflet-control-scale-line {
+	padding: 0 5px;
+	color: #333;
+	}
+.leaflet-control-attribution a {
+	text-decoration: none;
+	}
+.leaflet-control-attribution a:hover {
+	text-decoration: underline;
+	}
+.leaflet-container .leaflet-control-attribution,
+.leaflet-container .leaflet-control-scale {
+	font-size: 11px;
+	}
+.leaflet-left .leaflet-control-scale {
+	margin-left: 5px;
+	}
+.leaflet-bottom .leaflet-control-scale {
+	margin-bottom: 5px;
+	}
+.leaflet-control-scale-line {
+	border: 2px solid #777;
+	border-top: none;
+	line-height: 1.1;
+	padding: 2px 5px 1px;
+	font-size: 11px;
+	white-space: nowrap;
+	overflow: hidden;
+	-moz-box-sizing: content-box;
+	     box-sizing: content-box;
+
+	background: #fff;
+	background: rgba(255, 255, 255, 0.5);
+	}
+.leaflet-control-scale-line:not(:first-child) {
+	border-top: 2px solid #777;
+	border-bottom: none;
+	margin-top: -2px;
+	}
+.leaflet-control-scale-line:not(:first-child):not(:last-child) {
+	border-bottom: 2px solid #777;
+	}
+
+.leaflet-touch .leaflet-control-attribution,
+.leaflet-touch .leaflet-control-layers,
+.leaflet-touch .leaflet-bar {
+	box-shadow: none;
+	}
+.leaflet-touch .leaflet-control-layers,
+.leaflet-touch .leaflet-bar {
+	border: 2px solid rgba(0,0,0,0.2);
+	background-clip: padding-box;
+	}
+
+
+/* popup */
+
+.leaflet-popup {
+	position: absolute;
+	text-align: center;
+	}
+.leaflet-popup-content-wrapper {
+	padding: 1px;
+	text-align: left;
+	border-radius: 12px;
+	}
+.leaflet-popup-content {
+	margin: 13px 19px;
+	line-height: 1.4;
+	}
+.leaflet-popup-content p {
+	margin: 18px 0;
+	}
+.leaflet-popup-tip-container {
+	margin: 0 auto;
+	width: 40px;
+	height: 20px;
+	position: relative;
+	overflow: hidden;
+	}
+.leaflet-popup-tip {
+	width: 17px;
+	height: 17px;
+	padding: 1px;
+
+	margin: -10px auto 0;
+
+	-webkit-transform: rotate(45deg);
+	   -moz-transform: rotate(45deg);
+	    -ms-transform: rotate(45deg);
+	     -o-transform: rotate(45deg);
+	        transform: rotate(45deg);
+	}
+.leaflet-popup-content-wrapper,
+.leaflet-popup-tip {
+	background: white;
+
+	box-shadow: 0 3px 14px rgba(0,0,0,0.4);
+	}
+.leaflet-container a.leaflet-popup-close-button {
+	position: absolute;
+	top: 0;
+	right: 0;
+	padding: 4px 4px 0 0;
+	text-align: center;
+	width: 18px;
+	height: 14px;
+	font: 16px/14px Tahoma, Verdana, sans-serif;
+	color: #c3c3c3;
+	text-decoration: none;
+	font-weight: bold;
+	background: transparent;
+	}
+.leaflet-container a.leaflet-popup-close-button:hover {
+	color: #999;
+	}
+.leaflet-popup-scrolled {
+	overflow: auto;
+	border-bottom: 1px solid #ddd;
+	border-top: 1px solid #ddd;
+	}
+
+.leaflet-oldie .leaflet-popup-content-wrapper {
+	zoom: 1;
+	}
+.leaflet-oldie .leaflet-popup-tip {
+	width: 24px;
+	margin: 0 auto;
+
+	-ms-filter: "progid:DXImageTransform.Microsoft.Matrix(M11=0.70710678, M12=0.70710678, M21=-0.70710678, M22=0.70710678)";
+	filter: progid:DXImageTransform.Microsoft.Matrix(M11=0.70710678, M12=0.70710678, M21=-0.70710678, M22=0.70710678);
+	}
+.leaflet-oldie .leaflet-popup-tip-container {
+	margin-top: -1px;
+	}
+
+.leaflet-oldie .leaflet-control-zoom,
+.leaflet-oldie .leaflet-control-layers,
+.leaflet-oldie .leaflet-popup-content-wrapper,
+.leaflet-oldie .leaflet-popup-tip {
+	border: 1px solid #999;
+	}
+
+
+/* div icon */
+
+.leaflet-div-icon {
+	background: #fff;
+	border: 1px solid #666;
+	}