div.explore-main {
	/*position: fixed;
	top: 45px;
	right: 0;
	bottom: 0;*/
	width: 415px;
	background: white;
	z-index: 65533;
	display: flex;
	flex-direction: column;
	/*box-shadow: 0 0 10px #4a6887;*/
	border-left: 1px solid #888;
	left: 0 !important;
	margin-left: 2px;
	overflow: hidden;
}

div.explore-controls {
	height: 40px;
	background: #eee;
	box-shadow: 0 0 10px #4a6887;
	border-bottom: 1px solid #888;
	min-height: 40px;
	padding-left: 5px;
	white-space: nowrap;
	overflow: hidden;
}

div.explore-symbols {
	flex-grow: 2;
	min-height: 200px;
	overflow-y: auto;
	padding-left: 5px;
	padding-top: 5px;
	/*font-size: 10pt;*/
	font-family: "Source Sans Pro",Arial,Helvetica,sans-serif;
}

div.explore-console {
	flex-grow: 1;
	border-top: 1px solid #888;
	min-height: 240px;
	/*box-shadow: 0 0 10px #4a6887;*/
	position: relative;
	overflow-x: auto;
	box-sizing: border-box;
}

div.explore-console-buttons {
	width: 100%;
	height: 25px;
	background: #eee;
	margin-bottom: 10px;
	border-bottom: 1px solid #ddd;
	padding-left: 5px;
	font-weight: bold;
	font-size: 10pt;
	color: #222;
	font-family: arial;
	/*padding-top: 4px;*/
	box-sizing: border-box;
}

div.explore-console-code {
	position: absolute;
	/*padding-left: 10px;*/
	font-family: monospace;
	font-size: 12pt;
	width: 100%;
	box-sizing: border-box;
	max-height: calc(100% - 35px);
	display: flex;
	flex-direction: column;
}

div.explore-entry {
	margin-left: 20px;
	position: relative;
	/*padding-left: 2px;
	padding-top: 2px;
	padding-bottom: 2px;*/
	white-space: nowrap;
	color: black;
}

div.explore-entry:before {
	display: inline-block;
	position: absolute;
	content: "";
	left: -15px;
	border-top: 2px solid #bbb;
	top: 9px;
	width: 12px;
	height: 0;
}

div.explore-entry:after {
	display: inline-block;
	position: absolute;
	content: "";
	left: -15px;
	border-left: 2px solid #bbb;
	top: 2px;
	width: 0px;
	height: 100%;
}

div.explore-entry.missing {
	opacity: 0.5;
}

div.explore-entry.defined {
	color: #00a000;
}

div.explore-entry.active:after {
	border-left: 2px solid #00e000;
}

div.explore-entry.active:before {
	border-top: 2px solid #00e000;
}

.explore-entry > div:last-child:after {
	height: 7px;
}

.explore-entry:last-child:after {
	height: 7px;
}

span.explore-observable {
	cursor: pointer;
}

span.explore-observable:hover {
	text-decoration: underline;
	color: blue;
}

div.explore-entry > span.eden-path:hover {
	text-decoration: underline;
	color: blue;
	cursor: pointer;
}

span.explore-entry-icon {
	font-family: "FontAwesome";
	margin-right: 5px;
	color: #666;
	cursor: pointer;
}

span.explorer-control-icon {
	font-family: "FontAwesome";
	margin-right: 5px;
}

button.explorer-control {
	/*font-family: "FontAwesome";*/
	font-size: 10pt;
	border-radius: 3px;
	background: #e5e5e5;
	outline: none;
	border: 1px solid #ddd;
	margin: 5px;
	padding: 5px;
	padding-left: 10px;
	padding-right: 10px;
	height: 30px;
	cursor: pointer;
}

button.explorer-control:hover {
	background: #ddd;
}

button.explorer-control.active {
	color: white;
	background: #666;
}


input.explorerfilter {
	width: 200px;
	background: white;
	color: #222;
	font-size: 10pt;
	padding: 5px;
	padding-left: 40px;
	border: 1px solid #aaa;
	border-radius: 5px;
	outline: none;
	box-sizing: border-box;
	margin-left: 5px;
}

span.explorerfilter:before {
	color: #bbb;
	font-size: 12pt;
	left: 35px;
	position: relative;
	content: "\f002";
	background: none;
	top: 1px;
	margin-top: 0;
	z-index: 2;
	font-family: "FontAwesome";
}

input.explorerfilter:hover {
	border-color: #666;
}

div.explore-entry-inner {
	/*display: inline;
	width: 100%;*/
	padding: 2px;
	/*display: flex;*/
	justify-content: space-between;
}

div.explore-entry-inner:hover {
	/*background: #e5e5e5;*/
}

div.symvalue {
	display: inline;
	/*min-width: 160px;
	float: right;*/
	margin-left: 3px;
	/*max-width: 160px;*/
	overflow: hidden;
}

div.symvalue:hover {
	/*max-width: 400px;
	white-space: pre-wrap;*/
	border: 1px solid #ddd;
	box-sizing: border-box;
}

span.explore-expand-value {
	font-family: "FontAwesome";
	color: #222;
	margin-left: 3px;
	margin-right: 3px;
	cursor: pointer;
}

div.explore-tabs {
	height: 30px;
	background-color: #cecece;
	box-sizing: border-box;
	border-bottom: 1px solid #719ECE;
	overflow: hidden;
	padding-left: 20px;
	flex-shrink: 0;
}

div.explore-tab-container {
	/*position: absolute;*/
	display: flex;
	/*flex-wrap: wrap;*/
	margin-left: 20px;
	margin-right: 20px;
	height: 30px;
	padding: 0;
	margin: 0;
	overflow: hidden;
}

div.explore-tab {
	/*float: left;*/
	flex-shrink: 0;
	/*width: 150px;*/
	padding-left: 25px;
	padding-right: 25px;
	height: 100%;
	margin-left: 10px;
	font-family: Verdana,Arial,sans-serif;
	font-size: 8pt;
	/*color: #888;*/
	color: #222;
	opacity: 0.70;
	text-align: center;
	font-weight: bold;
	line-height: 30px;
	border-left: 1px solid transparent;
	border-right: 1px solid transparent;
	border-top-left-radius: 8px;
	border-top-right-radius: 8px;
	-webkit-font-smoothing: antialiased;
	font-smoothing: antialiased;
	cursor: pointer;
	overflow: hidden;
	display: flex;
	line-height: 30px;
}

div.explore-tab-notcurrent:hover {
	background-color: #d4d4d4;
	box-sizing: border-box;
	border-left: 1px solid #aaa;
	border-right: 1px solid #aaa;
	border-bottom: 3px solid #aaa;
	color: #666;
}

div.explore-tab-current {
	background-color: white;
	box-sizing: border-box;
	border-bottom: 3px solid #719ECE;
	border-left: 1px solid #aaa;
	border-right: 1px solid #aaa;
	color: #222;
	opacity: 1.0;
	z-index: 10;
}

div.explore-tab-current:hover {
	background-color: #e5e5e5;
}

div.explore-state {
	display: flex;
	flex-direction: column;
	flex-grow: 2;
}

div.explore-settings {
	display: flex;
	flex-direction: column;
	flex-grow: 2;
	background: #eee;
	font-family: "Source Sans Pro",Arial,Helvetica,sans-serif;
	padding: 0 20px;
	overflow-y: auto;
}

div.explore-settings h1 {
	color: #666;
	font-size: 16pt;
}

div.explorer-settings-list {
	display: flex;
	flex-direction: column;
	margin-left: 10px;
}

span.explorer-setting-label {
	padding-right: 20px;
}

div.explore-script {
	display: flex;
	flex-direction: column;
	flex-grow: 2;
}

div.explore-scripts {
	flex-grow: 2;
	min-height: 200px;
	overflow-y: auto;
	padding-left: 5px;
	padding-top: 5px;
	font-size: 10pt;
}

div.explore-script-inner {
	/*display: inline;
	width: 100%;*/
	padding: 2px;
	display: flex;
}

div.explore-script-inner:hover {
	background: #e5e5e5;
}

div.explore-sentry {
	margin-left: 20px;
	position: relative;
	/*padding-left: 2px;
	padding-top: 2px;
	padding-bottom: 2px;*/
	white-space: nowrap;
	color: black;
}

div.explore-sentry:before {
	display: inline-block;
	position: absolute;
	content: "";
	left: -15px;
	border-top: 1px solid #bbb;
	top: 9px;
	width: 12px;
	height: 0;
}

div.explore-sentry:after {
	display: inline-block;
	position: absolute;
	content: "";
	left: -15px;
	border-left: 1px solid #bbb;
	top: 2px;
	width: 0px;
	height: 100%;
}

.explore-sentry > div:last-child:after {
	height: 7px;
}

.explore-sentry:last-child:after {
	height: 7px;
}