div#jseden-main {
	position: absolute;
	top: 45px;
	bottom: 0;
	left: 0;
	right: 0;
	display: flex;
}

div#jseden-main.nomenu {
	top: 0;
}

div#jseden-views {
	flex-grow: 1;
	flex-basis: 70%;
	flex-shrink: 2;
	overflow: auto;
	position: relative;
}

div#eden-logo {
	position: absolute;
	top: 50px;
	left: 30px;
	background-image: url('../images/em-logo.png');
	background-repeat: no-repeat;
	width: 250px;
	height: 70px;
}

div.search-box-outer {
	margin: 15px;
	position: relative;
	height: 24px;
	margin-bottom: 10px;
}

input.search-box {
	position: absolute;
	left: 0px;
	top: 0px;
	/*width: 196px;*/
	height: 24px;
	border-style: solid;
	border-width: 1px;
	border-color: #117fe5;
	background-color: white;
	padding: 2px;
}

div.searchouter {
	/*display: inline-block;*/
	float: left;
	margin-left: 30px;
	margin-right: 5px;
	/*margin-top: 5px*/;
	z-index: 2001;
}

input.search {
	border: 1px solid #b5b5f5;
	border-radius: 20px;
	padding: 5px;
	padding-left: 30px;
	font-size: 10pt;
	width: 250px;
	outline: none;
	box-sizing: border-box;
}

div.searchouter:before {
	color: #5555bb;
	/*text-shadow: 0px 0px 2px black;*/
	font-family: "FontAwesome";
	font-size: 10pt;
	/*opacity: 0.8;*/
	content: "\f002";
	position: relative;
	left: 30px;
	background: none;
	top: 1px;
	margin-top: 0;
	/*z-index: 2001;*/
	z-index: 2;
}

button.jseden {
	border: 1px solid #222;
	color: white;
    border-radius: 4px;
    text-shadow: 0 1px 1px rgba(0, 0, 0, 0.2);
	background: #29454B; /* this is a light blue */
	outline: none;
	padding: 5px 20px;
	margin-left: 10px;
	margin-right: 10px;
	cursor: pointer;
}

input.obs-watch-check {
	position: relative;
	left: -10px;
	top: 0px;
	margin: 0px;
}

.modal {
    display: none; /* Hidden by default */
    position: fixed; /* Stay in place */
    z-index: 65533; /* Sit on top */
    left: 0;
    top: 0;
    width: 100%; /* Full width */
    height: 100%; /* Full height */
    overflow: auto; /* Enable scroll if needed */
    background-color: rgb(0,0,0); /* Fallback color */
    background-color: rgba(0,0,0,0.4); /* Black w/ opacity */
}

/* Modal Content/Box */
.modal-content {
    background-color: #fefefe;
	position: relative;
	top: 20%;
    margin: 20px auto; /* 15% from the top and centered */
	/*border: 1px solid #222;*/
	/*border-bottom-left-radius: 6px;
	border-bottom-right-radius: 6px;
	border-top-left-radius: 6px;
	border-top-right-radius: 6px;*/
	box-shadow: 2px 2px 8px #444;
	border-radius: 10px;
    padding: 10px;
    /*border: 1px solid #888;*/
    max-width: 800px; /* Could be more or less, depending on screen size */
	width: 80%;
}

div#show-input {
	background-image: url('../images/input-icon.png');
	left: 300px;
}

div.top-button {
	position: absolute;
	top: 30px;
	width: 70px;
	height: 35px;
	background-color: #036dcf;
	background-repeat: no-repeat;
	background-position: center;
	cursor: pointer;
}

div.search-button {
	position: absolute;
	right: 0px;
	background-image: url('../images/search-blue.png');
	width: 24px;
	height: 22px;
	top: 0px;
	background-color: #e0e0e0;
	border-top-style: solid;
	border-top-color: #117fe5;
	border-top-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #117fe5;
	border-bottom-width: 1px;
	border-right-style: solid;
	border-right-color: #117fe5;
	border-right-width: 1px;
}

div.search-button-hightlight {
	background-image: url('../images/search-blue.png');
}

div#observable-results {
	overflow-y: hidden;
	font-size: 12px;
	bottom: 0px;
}


div.scrollup {
	background-image: url('../images/scrollup.png');
	background-repeat: no-repeat;
	background-position: top center;
	height: 10px;
}

div.scrolldown {
	background-image: url('../images/scrolldown.png');
	background-repeat: no-repeat;
	background-position: top center;
	height: 10px;
	margin-bottom: 5px;
}

div.results-lim {
	overflow: hidden;
}

.error_text {
	color: red;
}

.special_text {
	font-weight: bold;
}

.numeric_text {
	color: blue;
}

.string_text {
	color: red;
}

.hasdef_text {
	color: #00D400;
	font-weight: bold;
}

div#eden-input {
	position: absolute;
	bottom: 0px;
	top: 0px;
	right: 0px;
	left: 0px;
	background-color: #fafafa;
}

.code {
	position: absolute;
	border-color: #117fe5;
	border-width: 1px;
	border-style: solid;
	/*max-width: 600px;*/
	top: 0px;
	bottom: 0px;
	left: 0px;
	right: 0px;
	overflow: auto;
	margin-top: 10px;
	margin-left: 10px;
	margin-right: 10px;
	background-color: white;
	cursor: text;
}

.defedit {
	position: relative;
	border-color: #117fe5;
	border-width: 1px;
	border-style: solid;
	/*max-width: 600px;*/
	/*height: 50px;*/
	bottom: auto;
	left: auto;
	right: auto;
	overflow: auto;
	margin-top: 10px;
	margin-left: 0px;
	margin-right: 0px;
	background-color: white;
	cursor: text;
}

.code_buttons {
	position: relative;
	margin-left: 10px;
	right: 0px;
	bottom: 0px;
	background-color: #eaeaea;
	cursor: auto;
	font-size: 10pt;
}

div.obs_stats {
	background-color: #fafafa;
	font-size: 12px;
	margin-bottom: 10px;
}

div.obs_inspector {
	background-color: #fafafa;
	font-size: 12px;
	padding: 5px;
}

div.history-error {
	color: red;
}

div.message-box {
	position: fixed;
	width: 300px;
	top: 45px;
	/*min-height: 50px;*/
	margin-left: calc(50% - 150px);
	text-align: center;
	background-color: #395069;
	opacity: 0.9;
	box-shadow: 0 0 10px black;
	font: normal 11pt "Helvetica Neue", Sans-Serif;
	vertical-align: middle;
	color: white;
	z-index: 20000;
}

div.message-errortext {
	margin-top: 15px;
	margin-left: 45px;
	margin-bottom: 15px;
	margin-right: 15px;
}

div.message-errortext:before {
	position: absolute;
	content: "";
	left: 18px;
	top: 10px;
	content: "\f06a";
	font-family: "FontAwesome";
	font-size: 28px;
	color: white;
	width: 30px;
	height: 30px;
}

div.message-infotext {
	margin-top: 15px;
	margin-left: 45px;
	margin-bottom: 15px;
	margin-right: 15px;
}

div.message-infotext:before {
	position: absolute;
	left: 18px;
	top: 10px;
	content: "\f05a";
	font-family: "FontAwesome";
	font-size: 28px;
	color: white;
	width: 30px;
	height: 30px;
}

div.loaddialog {
	width: 350px;
	padding: 20px;
	/*height: 150px;*/
	background-color: none;
	color: white;
	font: bold 14px "Helvetica Neue", Sans-Serif;
	margin-left: calc(50% - 175px);
	top: 30%;
	position: fixed;
	text-align: center;
	border-radius: 6px;
	z-index: 200000;
	/*box-shadow: 0 0 15px #4a6887;*/
	text-shadow: 0 0 10px black;
}

div.loadmessage {
	margin-top: 20px;
}

/* SPINNING LOADER */

.mainloader {
  /*margin-left: 50%;
  margin-right: 50%;
  top: 20%;*/
  font-size: 10px;
  /*position: fixed;*/
	position: relative;
	margin: auto;
  text-indent: -9999em;
  border-top: 1.1em solid rgba(0, 0, 50, 0.3);
  border-right: 1.1em solid rgba(0, 0, 50, 0.3);
  border-bottom: 1.1em solid rgba(0, 0, 50, 0.3);
  border-left: 1.1em solid #888;
  -webkit-transform: translateZ(0);
  -ms-transform: translateZ(0);
  transform: translateZ(0);
  -webkit-animation: mainload8 1.1s infinite linear;
  animation: mainload8 1.1s infinite linear;
  backface-visibility: hidden;
}
.mainloader,
.mainloader:after {
  border-radius: 50%;
  width: 8em;
  height: 8em;
}
@-webkit-keyframes mainload8 {
  0% {
    -webkit-transform: rotate(0deg);
    transform: rotate(0deg);
  }
  100% {
    -webkit-transform: rotate(360deg);
    transform: rotate(360deg);
  }
}
@keyframes mainload8 {
  0% {
    -webkit-transform: rotate(0deg);
    transform: rotate(0deg);
  }
  100% {
    -webkit-transform: rotate(360deg);
    transform: rotate(360deg);
  }
}


a.ui-dialog-titlebar-maximize {
	background: #eee;
	border: 1px solid #bbb;
}

a.ui-dialog-titlebar-minimize {
	background: #eee;
	border: 1px solid #bbb;
}
