/* ----- body properties ----- */

#body_page {
	position: relative;
	height: 80vh;
}

.instance {
	width: 100%;
	position: relative;
	border: hidden;
	background: none transparent;
	height: 500px;
	padding: 0;
	margin-top: 0;
	margin-bottom: 0;
}

.body_fixed_page,
.body_scroll_page {
	position: absolute;
	margin: 70px auto 20px;
	right: 20px;
	left: 20px;
	display: table;
	width: 90%;
	min-height: 300px;
}
.body_fixed_page {
	bottom: 0;
	height: 100%;
}
.body_scroll_page {
	top: 0;
	max-width: 900px;
}

/* ----- article properties ----- */

.article {
	position: relative;
	font-size: 14px;
	border: 1px solid;
	border-radius: 5px;
	box-sizing: border-box;
	padding: 10px 20px 10px 20px;
	margin-bottom: 15px;
}
.grey {
	background-color: #f7f7f7;
	border-color: #dddddd;
}
.blue {
	background-color: #daedf6;
	border-color: #bde8f0;
}
.yellow {
	background-color: #fffbe6;
	border-color: #eae6d2;
}
.red {
	background-color: #ffe5e5;
	border-color: #fad5d5;
}
.article_closing {
	position: absolute;
	top: 0;
	right: 0;
	padding: 5px 5px 5px 5px;
	width: 12px;
	overflow: auto;
}
.article_closing_img {
	width: 100%;
	height: 100%;
}

/* ----- text properties ------ */

h10 {
	margin-left: 10px;
	font-weight: 600;
}

.article_heading {
	margin-top: 0;
	margin-bottom: 5px;
}

/* ----- link properties ----- */

li {
	float: left;
}
.li_right {
	list-style-type: none;
	float: right;
}
li a:hover {
	color: #5a5a5a;
}

/* ----- navbar ----- */

.navbar_enabled,
.navbar_disabled {
	list-style-type: none;
	margin: 0;
	padding: 0;
	font-size: 16px;
	top: 0;
	z-index: 100;
	position: fixed;
	width: 100%;
	left: 0;
	/*box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.05), 0 5px 20px 0 rgba(0, 0, 0, 0.05);*/
}
.navbar_disabled {
	background: none;
	z-index: -1;
}
.navbar_enabled {
	background-color: rgba(245, 245, 245, 0.75);
	-webkit-backdrop-filter: blur(5px);
	border-bottom: solid 1px #dddddd;
}

/* navbar links */

.navbar_link_disabled,
.navbar_link_enabled {
	display: block;
	color: black;
	text-align: center;
	padding: 15px 16px;
	text-decoration: none;
	margin-left: 10px;
}
.navbar_link_enabled {
	border-bottom: solid 2px grey;
}

#logo {
	height: 40px;
	margin-left: 40px;
	margin-top: 6px;
	margin-right: 5px;
}

/* navbar buttons */

.navbar_button_disabled,
.navbar_button_enabled {
	width: 48px;
	height: 48px;
	padding: 2px 2px 2px 2px;
	border: none;
	z-index: 100;
	position: relative;
}
.navbar_button_enabled {
	background: none;
}
.navbar_button_disabled {
	background-color: rgba(245, 245, 245, 0.75);
	-webkit-backdrop-filter: blur(5px);
}
.navbar_button_enabled:hover,
.navbar_button_disabled:hover {
	padding: 5px 5px 5px 5px;
}
.navbar_button_icon {
	height: 30%;
}

/* ----- navbar tab ----- */

.navbar_tab_container {
	list-style-type: none;
	margin: 0;
	padding: 0;
	background-color: #3070b3;
	width: 100%;
	position: relative;
	height: 30px;
}
.navbar_tab_link {
	font-weight: 600;
	display: block;
	color: white;
	text-decoration: none;
	line-height: 30px;
	text-align: center;
	padding-left: 10px;
}

/* navbar tab button */

.navbar_tab_button {
	width: 22px;
	height: 22px;
	border: 1px solid #cfcfcf;
	border-radius: 2px;
	padding: 2px 2px 2px 2px;
	margin-top: 4px;
	margin-right: 4px;
	font-size: 13px;
	background-color: whitesmoke;
}
.navbar_tab_button:hover {
	padding: 2.5px 2.5px 2.5px 2.5px;
}
.navbar_tab_button:active {
	border: solid 1px black;
}
.navbar_tab_button_icon {
	vertical-align: top;
	horiz-align: center;
	height: 100%;
}

#button_dropdown_examples {
	width: 22px;
	padding: 2px 2px 7px 2px;
}

#button_dropdown_examples:hover {
	padding: 2px 2px 7px 2px;
}

.dropdown_example_list {
	margin-top: 15px;
	list-style: none;
	max-height: 150px;
	overflow-y: scroll;
	background-color: whitesmoke;
	border-radius: 3px;
	border: solid 1px #cfcfcf;
	padding-left: 0;
	z-index: 50;
	width: 150px;
	position: absolute;
	right: 30px;
	top: 10px;
	display: none;
	overflow-x: hidden;
}
.dropdown_example_element {
	float: left;
	left: 0;
	padding-left: 10px;
	padding-top: 3px;
	padding-bottom: 3px;
	font-size: 13px;
	width: 100%;
}
.dropdown_example_element a:hover {
	color: black;
}
.dropdown_example_element:hover {
	background-color: rgba(176, 220, 255, 0.5);
}
#drop_down_img {
	display: inline-block;
	margin-top: 2px;
	margin-right: 2px;
}

/* tab handling */

.tab {
	border: 1px solid #cfcfcf;
	box-shadow: 1px 1px 6px #cfcfcf;
	box-sizing: border-box;
	background-color: whitesmoke;
	position: relative;
}

#upper {
	position: relative;
	width: 100%;
	height: 50%;
	overflow: visible;
}

#lower {
	position: relative;
	width: 100%;
	height: 50%;
	background-color: #282a36;
}

#left {
	float: left;
	width: 50%;
	height: 100%;
}

#right {
	float: left;
	width: 50%;
	height: 100%;
}

#right_content,
#left_content,
#lower_content {
	width: 100%;
	background-color: white;
	overflow: hidden;
}

#lower_content {
	background-color: #282a36;
}

#right_content {
	overflow: auto;
}

#options {
	width: 100%;
	overflow-y: hidden;
}

#options_parent {
	width: 100%;
	overflow-y: scroll;
}

#guarantees,
#assumptions {
	width: 100%;
	height: 50%;
	position: relative;
	overflow: hidden;
	border-bottom: 1.5px solid black;
}

.header {
	height: 25px;
	width: 100%;
	border-bottom: 1px solid #cfcfcf;
	box-sizing: border-box;
	margin-top: -2px;
}

#header_assumptions {
	margin-top: 0;
}

#assumptions_parent,
#guarantees_parent {
	overflow: hidden;
	width: 100%;
}

.tab_navbar {
	width: 100%;
	height: 10%;
	background-color: #3070b3;
	border-bottom: 2px solid black;
	box-sizing: border-box;
}

#console,
#editor_guarantees,
#editor_assumptions,
#smv_output,
#verilog_output {
	position: absolute;
}

/* split */

.split {
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;

	overflow-y: auto;
	overflow-x: hidden;
}
.gutter {
	background: transparent no-repeat 50%;
}
.gutter.gutter-horizontal {
	height: 100%;
	float: left;
	cursor: col-resize;
}
.gutter.gutter-vertical {
	cursor: row-resize;
}

/* tempory */

.image {
	max-width: 100%;
	max-height: 100%;
	margin: auto;
	position: absolute;
	min-width: 350px;
}

/* dropdown elements */

.help_button {
	width: 18px;
	height: 18px;
	padding: 0;
	float: right;
	border: none;
	background: none;
	margin-left: 5px;
}
.help_button_icon {
	vertical-align: top;
	height: 100%;
}

#input_text,
#output_text {
	font-weight: normal;
	font-size: 13px;
	font-family: Monaco, monospace;
	display: inline-block;
	float: right;
	width: 366px;
	padding-left: 5px;
	box-sizing: border-box;
	border: 1px solid #cfcfcf;
	margin-left: 10px;
}
.text_property {
	height: auto;
	width: auto;
	display: inline-block;
	padding-left: 10px;
	padding-top: 5px;
	padding-bottom: 5px;
}
.property {
	height: auto;
	width: auto;
	display: inline-block;
	padding: 5px 20px 5px 10px;
}
select {
	float: right;
	min-width: 120px;
	width: auto;
	margin-left: 10px;
}
.label_class {
	width: 100px;
	font-size: 13px;
	font-weight: normal;
	text-align: right;
}
#runButton {
	background-color: lightgreen;
	border: 1px solid #cfcfcf;
	border-radius: 2px;
	height: 20px;
	width: auto;
	float: right;
	display: inline-block;
	margin-top: 2px;
	margin-right: 2px;
	font-size: 13px;
	vertical-align: top;
	padding-top: 0;
}
#runButton:active {
	color: black;
}

#output_bar {
	border-top: 1px solid #cfcfcf;
	height: auto;
	padding: 0;
}
#output_tabs {
	width: 100%;
	overflow: visible;
}
.tab_button {
	height: 100%;
	background-color: white;
	margin: 0;
	border: none;
	font-size: 12px;
	box-sizing: border-box;
	padding-left: 10px;
	padding-right: 10px;
}
.tab_button:active {
	color: black;
}
.tab_button:hover {
	color: #5a5a5a;
}

.tab_element {
	padding: 2px 10px !important;
	height: 24px;
}

.option {
	font-weight: normal;
	font-size: 12px;
}

.minor_tab {
	height: 100%;
	width: 100%;
	overflow: hidden;
}