textarea {
	height: 5em;
	width: 100%;
	overflow: auto;
  border-radius: 5px;
  /* max-width: 80%; */
}
td {
	vertical-align: top;
	height: auto;
}
label {
	margin-top: 1px;
	margin-right: 1px;
	margin-bottom: 5px;
	margin-left: 1px;
}
button {
	padding: 0px;
	font-size: x-small;
	text-indent: 1px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 2px;
	margin-left: 0px;
  border-radius: 5px;
}
label {
}

.ResultT {
	background-color:#00FF00;
	color:#0000FF;
}
.ResultRF {
	background-color:#FFC200;
	color:#0000FF;
}


.ResultT:hover {
	text-decoration:underline;
}
.errorResult {
	background-color:#FF0000;
	color:#0000FF;
}
.errorResult:hover {
	background-color:#FF0000;
	color:#0000FF;
	text-decoration:underline;
}

#resultW {
	height: 15em;
	margin-bottom: 6px;
}
div.output {
	margin: 1px 0px;
	font-family: monospace;
	width: auto;
	overflow: auto;
	white-space: pre-wrap;
	border-color: threedface;
	border-style: inset;
	border-width: 2px 1px 1px 2px;
	text-align: left;
  border-radius: 5px;
	height: 100%;
	padding-top: 1px 2px 2px 1px;
	border-right-width-value: 2px;
	border-left-color-ltr-source: physical;
	border-left-color-rtl-source: physical;
	border-left-color-value: threedface;
	border-left-style-ltr-source: physical;
	border-left-style-rtl-source: physical;
	border-left-style-value: inset;
	border-left-width-ltr-source: physical;
	border-left-width-rtl-source: physical;
	border-left-width-value: 2px;
	border-right-color-ltr-source: physical;
	border-right-color-rtl-source: physical;
	border-right-color-value: threedface;
	border-right-style-ltr-source: physical;
	border-right-style-rtl-source: physical;
	border-right-style-value: inset;
	border-right-width-ltr-source: physical;
	border-right-width-rtl-source: physical;
}

#resultEdit {
	width: 99.7%;
	height: 100%;
	display:none;
}
.processResizer {
	width: 100%;
	text-align: center;
	vertical-align: bottom;
}
.processResizer .handle {
	background-color: #CCCCCC;
	background-repeat: repeat-x;
	height: 5px;
	cursor: s-resize;
}
.processResizer hr {
	margin: 0px;
	height: 0px;
}

#steps {
    position: relative;
    float: left;
}

.step_wrapper {
    display: inline-block;
    position: relative;
    vertical-align: top;
}

.step_border {
    border-color: #808080;
    border-radius: 3px;
    border-style: solid;
    border-width: 1px;
    position: relative;
    display: inline;
    margin: 0 4px;
    padding: 0 3px;
}

.step_dragger {
    background: none repeat scroll 0 0 #CCCCCC;
    height: 0.9em;
    left: 2px;
    position: absolute;
    top: 2px;
    width: 5px;
    cursor: all-scroll;
}

.step_button, .step_add, .step_del {
    text-decoration: none;
}

.step_button {
    margin-left: 6px;
}

.step_button.selected {
    color: #FFFFFF;
    text-shadow:
      -1px -1px 0 #000,
      1px -1px 0 #000,
      -1px 1px 0 #000,
      1px 1px 0 #000;
}

#save_load {
    float: right;
}