body {
	margin: 0;
	max-width: 100%;
	background-color: white;
	line-height: normal;
}

/* Disable ugly boxes around images in IE10 */
a img{
	border: 0px;
}

#tab-content p {
 	display: none;
}

#tab-content p.is-active {
	display: block;
}

.container-1{
	height: 34px;
	vertical-align: middle;
	white-space: nowrap;
	position: relative;
	font-size: 14px;
}

.container-1 input#searchBox{
	width: 155px;
	height: 32px;
	border: none;
	background: #eeeeee;
	padding-left: 36px;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
}

.container-1 input#packagesFilter{
	width: 100px;
	height: 32px;
	border: none;
	float: left;
	background: #eeeeee;
	padding-left: 36px;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
}

.container-1 .icon{
	position: absolute;
	bottom: 0%;
	margin: 0px 0px 6px 6px;
	z-index: 1;
	color: #4f5b66;
}

.iconButton{
	background-color:Transparent;
        z-index:1;
}

.iconBelow{
        z-index:-1;
}

table, th, td {
	border: 0px;
	border-spacing: 0px;
}

p {
	margin: 0;
}

.functionTable tr:nth-child(2n+3) {
	background: rgba(220,220,220,0.5);
}

.row {
	padding: 3px;
}

.head {
	background: #fff;
}

.headLabel {
	margin: 20px;
        text-align: center;
        font-size: 20px;
}

.nodeConnect {
	position:relative;
	color:#fff;
        padding: 0;
/*        min-width: 30px; */
/*        display: inline-block;*/
}

.caseCell {
	vertical-align: middle;
}

.funcCell {
	vertical-align: middle;
}

.metaCell {
	vertical-align: middle;
	/* padding: 10px 15px 5px 15px; */
}

.option {
        background: #efefff;
	min-width: 160px;
         /*repeating-linear-gradient( 135deg, white, white 10px, #e5f4f3 10px, #e5f4f3 20px) */
}

input[type="checkbox"],
input[type="radio"] {
  position: absolute;
  opacity: 0;
  cursor: pointer;
  height: 0;
  width: 20px;
  margin: 6px 6px;
  padding: 6px 6px;
/*  display: none;*/
}

.checkboxInput {
  display: block;
  position: relative;
/*  padding-left: 35px;
  margin-bottom: 12px; */
  cursor: pointer;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  width: 20px;
  margin: 6px 6px;
  padding: 6px 6px;
}

.check {
  position: absolute;
  top: 0;
  left: 0;
  height: 20px;
  width: 20px;
  background-color: #00a4fa;
}

.checkboxInput:hover input ~ .check {
  background-color: #00f;
}

.checkboxInput input:checked ~ .check {
  background-color: #2196F3;
}

.check:after {
  content: "";
  position: absolute;
  display: none;
}

.checkboxInput input:checked ~ .check:after {
  display: block;
}

.checkboxInput .check:after {
  left: 9px;
  top: 5px;
  width: 5px;
  height: 10px;
  border: solid white;
  border-width: 0 3px 3px 0;
  -webkit-transform: rotate(45deg);
  -ms-transform: rotate(45deg);
  transform: rotate(45deg);
} 

@media (orientation: landscape) {
	.finput {
		padding: 4px 0px 0px 0px;
/*		height: 44px	*/
		border-width:0px;
		border-bottom: solid #666; /*#B7C640; #ff5863;*/
		border-bottom-width: 0.8mm;
		border-bottom-left-radius: 0px;
		border-bottom-right-radius: 0px;
/*	font-size: 18px;
	@media all and (min-resolution: 150dpi) {
		font-size: 28px;
	}
*/
	}

	.node {
		font-size: 16px;
		font-weight: bold;
		border-width: 5px;
		margin: 0 auto;
		padding: 3px 6px;
		color: white;
		border-style: solid;
		display: flex;
		justify-content: center;
	}

	.typeButton {
		font-size: 16px;
		border: 0px;
		background:#fff;
		color: black;
		justify-content: center;
		z-index:1;
	}
	.valueButton {
		font-size: 16px;
		border: 0px;
		border-radius: 5px;
		margin: 2px 5px;
		padding: 2px;
		background: #00a4fa; /*#44e1d1;*/ /*#23C2B2;*/
		color: white;
		text-align:left;
		z-index:1;
	}

	.explodeButton {
		border: 0px;
		border-radius: 10px;
	        width: 20px;
	        height: 20px;
		margin: auto auto;
		font-size: 16px;
		background:#c0c0c0;
		color: white;
		justify-content: center;
		display: flex;
		z-index:1;
	}

	.inputs {
		padding: 0px 0px 8px 20px;
		vertical-align: middle;
	}

	.case {
		border-radius: 5px;
		border-color: #ff55aa;
		background: #aa0055;
	}

	.func {
		border-radius: 10px;
		background: #00d1b2; /* #ff4040; */ /*#B7C640;*/
		z-index:1;
	}

	.exefunc {
		border-radius: 10px;
		background: #ff4040; /*#B7C640;*/
		z-index:1;
	}

	.state {
		border-radius: 50%;
		background: #ff4040; /*#B7C640;*/
	}

	.lit {
		border-radius: 10px;
		border-color: #23C2B2;
		background: #ffbf00;
		z-index:1;
	}

	.meta {
		border-radius: 10px;
		border-color: #9cAFB1; /*#ff0000;*/
		background: #06373D; /*green;*/
	}

	.package {
		font-size: 12px;
		font-weight: bold;
		padding: 0px 4px;
		margin: -2px auto;
		border-radius: 0px;
		border-width: 0px;
		border-style: solid;
		border-color: #ff0000;
		background: #aaaaaa; /*#e91e63;*/
		color: white;
/*		justify-content: center;
		display: flex;*/
	}

	.namespace {
		font-size: 12px;
		font-weight: bold;
		padding: 0px 4px;
		margin: -2px auto;
		border-radius: 0px;
		border-width: 0px;
		border-style: solid;
		border-color: #ff0000;
		background: #5bdb36; /*#e91e63;*/
		color: white;
/*		justify-content: center;
		display: flex;*/
	}

	.paginationParent {
		width: 700px;
	}

	.standardEdge {
		stroke-width: 3;
	        stroke: #666; /*#00d1b2; #B7C640; #ff5863 */;
		stroke-opacity: 1.0;
	}
}

@media (orientation: portrait) {
	.finput {
/*		height: 44px;*/
		padding: 0px 0px 0px 0px;
		border-width:0px;
		border-bottom: solid #666; /*#B7C640; #ff5863;*/
		border-bottom-width: 0.8mm;
		border-bottom-left-radius: 0px;
		border-bottom-right-radius: 0px;
/*	font-size: 18px;
	@media all and (min-resolution: 150dpi) {
		font-size: 28px;
	}
*/
	}

	.node {
		font-size: 10px;
		font-weight: bold;
		border-width: 3px;
		margin: 0 auto;
		padding: 2px 4px;
		color: white;
		border-style: solid;
		display: flex;
		justify-content: center;
	}
	.typeButton {
		font-size: 10px;
		border: 0px;
		background:#fff;
		color: black;
		justify-content: center;
	}
	.valueButton {
		font-size: 10px;
		border: 0px;
		border-radius: 3px;
		margin: 2px 5px;
		background: #00a4fa; /*#44e1d1;*/ /*#23C2B2;*/
		color: white;
		text-align:left;
	}

	.explodeButton {
		font-size: 16px;
		border: 0px;
		border-radius: 10px;
	        width: 20px;
	        height: 20px;
		margin: auto auto;
		background:#c0c0c0;
		color: white;
		justify-content: center;
		display: flex;
	}

	.inputs {
		padding: 0px 0px 2px 5px;
		vertical-align: middle;
	}

	.case {
		border-radius: 3px;
		border-color: #ff55aa;
		background: #aa0055;
	}

	.func {
		border-radius: 5px;
		background: #00d1b2; /* #ff4040; */ /*#B7C640;*/
	}

	.exefunc {
		border-radius: 5px;
		background: #ff4040; /*#B7C640;*/
	}

	.state {
		border-radius: 50%;
		background: #ff4040; /*#B7C640;*/
	}

	.lit {
		border-radius: 5px;
		border-color: #23C2B2;
		background: #ffbf00;
	}

	.meta {
		border-radius: 5px;
		border-color: #9cAFB1; /*#ff0000;*/
		background: #06373D; /*green;*/
	}

	.package {
		font-size: 5px;
		font-weight: bold;
		padding: 0px 2px;
		margin: -2px auto;
		border-radius: 0px;
		border-width: 0px;
		border-style: solid;
		border-color: #ff0000;
		background: #5bdb36; /*#e91e63;*/
		color: white;
		justify-content: center;
		display: flex;
	}

	.paginationParent {
		width: 400px;
	}

	.standardEdge {
		stroke-width: 2;
	        stroke: #666; /*#00d1b2; #B7C640; #ff5863 */;
		stroke-opacity: 1.0;
	}
}


.arg {
	border-radius: 10px;
	border-width: 0px;
	font-weight: unset;
}

mark {
	background-color: blue;
	color: white;
}

path:hover {
	stroke: #66e;
}

.outer-graph {
	white-space: nowrap;
	overflow-x: auto
}

.inner-graph {
	text-align: left;
	display: inline-block;
}

.column-left{ float: left; width: 20%; margin: 18px 0 0 0; }
.column-center{ display: inline-block; width: 60%; margin: 18px 0 0 0; }
.column-right{ float: right; width: 20%; margin: 18px 0 0 0; }

#editor {
	font-size: large;
}

.help-column-left{ float: left; width: 33%; margin: 18px 0 0 0; }
.help-column-center{ display: inline-block; width: 33%; margin: 18px 0 0 0; }
.help-column-right{ float: right; width: 33%; margin: 18px 0 0 0; }

/**** Mobile layout ****/
@media (max-width: 1023px) {

  /* WebViews in iOS 9 break the "~" operator, and WebViews in OS X 10.10 break
     consecutive "+" operators in some cases. Therefore, we need to use both
     here to cover all the bases. */

}