div#quilt {
	font: 12px "Open Sans", "Lucida Sans", "Trebuchet MS", Verdana, Arial,
		Sans-Serif;
	width: 1200px;
	margin: auto;
}

div, span, textarea {
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
}

.disabled {
	pointer-events: none;
	color: #AAA;
}

.hidden {
	display: none !important;
}

.has-padding {
	padding: 3px 3px 3px 3px;
}

/*** header ***/
/****************************/

#quilt-header  {
	text-align: center;
	margin: 10px 0px 20px 0px;
}

#quilt-header #help-toggle-button {
	float: left;
	margin: 20px 0 0 20px;
	font-size: 110%;
	width: 100px;  
}

#quilt-header img {
	height: 80px;
}

/*** help ***/
/****************************/

div#help {
	clear: both;
	width: 1200px;
	padding: 0px 10px 10px 10px;
	margin: 0px 0px 20px 0px;

	border-style: solid;
	border-width: 1px 1px 1px 1px;
	border-color: #000;
}

div#help h3 {
	margin-top: 12px;
}

div#help p {
/* 	padding: 0; */
/* 	margin: 0px; */
}


/*** mode-menu ***/
/****************************/

#mode-menu {
	width: 1200px;
	height: 30px;
	margin: 10px 0px 10px 0px;
	text-align:center;
}


div#mode-menu button {
	margin: 0px 30px 0px 30px;
	color: #DFECE6;
    background-color: #215A6D;
    width: 20em;
    height: 2em;
    border: 0;
    font-size: 1.2em;
}

div#mode-menu button:hover {
	color: #FFA759;
}

div#mode-menu .current {
	color: #FFA759;
}

/*** input-schema ***/
/****************************/

div#input-schema {
	width: 1200px;
	height: 40px;
	margin-top: 10px;
	margin-bottom: 10px;
}

textarea#input-schema-textarea {
	padding: 0.25ex;
	height: 6ex;
	width: 930px;
	float: left;
}

div#input-schema-subblock2 {
	width: 230px;
		margin-left: 30px;
		float: right;
}

textarea#input-schema-name-textarea {
	padding: 0.25ex;
	height: 3ex;
	width: 100%;


	margin-bottom: 2px;
}

/*** integration-menu ***/
/****************************/

div#integration-menu {
	clear: both;
	width: 1200px;
	margin: 10px 0px 10px 0px;
/* 	padding: 5px 5px 5px 5px; */
	background-color: #DDD;
	border-style: solid;
	border-width: 1px 1px 1px 1px;
	border-color: #000;
	border-style: solid;
	margin-bottom: 10px;
    display:table;
}

div#integration-menu>div#previous-source-kb-element {
	float: left;
	padding: 0 0 0 0;
	padding-left: 0px;
	float: left;
	width: 33.3%;
}

div#integration-menu>div#next-source-kb-element {
	float: right;
	padding: 0 0 0 0;
	padding-right: 0px;
	width: 33.3%;
	text-align: right;
}

div#integration-menu button{
    color: #DFECE6;
    background-color: #215A6D;
    width: 20em;
    height: 2em;
    border: 0;
    font-size: 1.2em;
}

div#integration-menu button:hover {
	color: #FFA759;
}

.move-source-kb-element-arrow {
}

div#integration-menu>div#integrated-kb-info {
	float: left;
	width: 33.3%;
	text-align: center;
	font-size: 1.5em;
	display:table-cell;
 vertical-align:middle;
 margin:auto;
}

div#integration-menu>span#integrated-kb-info {
	float: left;
	width: 33.3%;
	text-align: center;
	font-size: 1.2em;
	display:table-cell;
 vertical-align:middle;
 margin:auto;
}

span#integrated-kb-name {
	background-color: #DDD;
	padding: 0px 3px 0px 3px;
	height: 100%;
}

/*** edit-node ***/
/****************************/

div#edit-node {
	float: left;
	width: 300px;
	height: 600px;
	border-style: solid;
	border-width: 1px 0px 1px 1px;
	border-color: #000;
}

/* Appears in different points of the edit-node subtree */
div#edit-node p {
	padding: 3px 5px 3px 5px;
	margin: 0px;
	font-size: 12px;
}

/**/
div#edit-node-header {
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	border-color: #BBB;
}

div#edit-node-header #edit-node-title {
	margin: 0px 20px 0px 0px;
	font-weight: bold;
}

div#edit-node-header #node-type-selection {
	margin: 0px 20px 0px 0px;
	width: 100px;
}

/**/
div#search-controls {
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	border-color: #BBB;
}

div#search-controls #text-query {
	width: 230px; /*done manually, should be automatic*/
}

/* div#edit-node option { */
/*     background: #DEB; */
/* } */

/* div#edit-node option:nth-child(1) { */
/*     background: #8d85ff; */
/* } */

/**/
div#candidates {
	height: 495px;
	overflow-y: scroll;
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	border-color: #BBB;
}

div#candidates div.candidate {
	width: 100%;
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	border-color: #BBB;
	padding: 3px;
}



div#candidates div.candidate:hover {
/* 	background-color: #EEE; */
}

div#candidates div.candidate>div.candidate-name {
	font-weight: bold;
	font-size: 1em;
}

div#candidates div.candidate>div.candidate-description {
	font-style: italic;
	font-size: 1em;
}

.klint-button {
  border-style:none;
  background-color: #215A6D;
  color: #FFF;
  border-radius: .5em;
  padding: .2em .6em .3em;
  text-align: center;
  cursor: pointer;
  margin: 1px 3px 1px 3px;
  font-size: 85%;
  font-weight: bold;
  white-space: nowrap;
  display: inline;
/*     line-height: 1; */
  vertical-align: baseline;
}

.klint-button:hover  {
  color: #FFA759;
}

.klint-button.disabled {
  background-color: #AAA !important;
}

/**/
div#manual-edit-node {
	/* 	float: left; */
	/* 	clear: left; */
	height: 50px;
}

div#manual-edit-node input {
	float: right;
	width: 230px;
}


/* div#edit-node input[name="edit-node-iri"]  { */
/* } */

/* div#edit-node input[name="edit-node-name"]  { */
/* } */

/*** svg-canvas ***/
/****************************/

div#svg-canvas {
	float: right;
	width: 900px;
	height: 600px;
	border-style: solid;
	border-width: 1px 1px 1px 1px;
	border-color: #000;
}

/*** output ***/
/****************************/

div#output {
	width: 1200px;
	clear: both;
	padding-top: 10px;
	padding-bottom: 10px;
	border: 0px;
}

/* div#output  #process-button { */
/* 		float: left; */
/* } */

div#output span#output-format-span {
		float: right;
}

div#output textarea#output-code-textarea {
	width: inherit;
	height: 200px;
	margin: 0;
	padding: 0.5ex;
	margin-top: 2px;
}