#script, #output {
	width: 99%;
	height: 400px;
	padding: 5px;
	overflow-y: auto;
	margin-bottom: 20px;
	border: 1px solid #000000;
}

#contentBody pre {
	margin: 0;
	overflow-y: visible;
}

#contentBody pre .keyword1 {
	color: red;
	font-weight: bold;
	text-decoration: none;
}

#contentBody pre .keyword2 {
	color: blue;
}

#contentBody pre .GECKFunction {
	color: black;
	text-decoration: none;
	font-weight: bold;
}

#contentBody pre .FOSEFunction {
	color: black;
	font-weight: bold;
	font-style: italic;
	text-decoration: underline;
}

#contentBody pre .comment {
	color: green;
	font-style: italic;
}

#contentBody pre .string {
	color: gray;
	font-style: italic;
}

#contentBody pre ul {
	margin: 0;
	padding: 0;
	list-style: none;
}

#contentBody pre ul li {
	margin-left: 15px;
	padding-left: 5px;
	width: 660px;
	background-image: none;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap !important;
	white-space: -pre-wrap;
	white-space: -o-pre-wrap;
	word-wrap: break-word;
}

#contentBody pre ul li.error:before {
	content: "Error:   ";
	color: red;
}

#contentBody pre ul li.warning:before {
	content: "Warning: ";
	color: orange;
}

/**/

a.icon {
	float: left;
	background: no-repeat 5px center;
	padding: 0 10px 0 5px;
	cursor: default;
	position: relative;
	z-index: 1;
}

a.errorIcon {
	background-image: url('../images/errorIcon.png');
}

a.warningIcon {
	background-image: url('../images/warningIcon.png');
}

a.errorWarningIcon {
	background-image: url('../images/errorWarningIcon.png');
}

#contentBody a.icon:hover {
	text-decoration: none;
}

a.icon:before {
	content: " ";
}

a ul.errorLine {
	display: none;
}

a:hover ul.errorLine, a:active ul.errorLine {
	display: block;
	position: absolute;
	top: 15px;
	left: 0;
	z-index: 2;
}

#contentBody a:hover ul.errorLine li.error, #contentBody a:active ul.errorLine li.error {
	background: #ffaaaa;
}

#contentBody a:hover ul.errorLine li.warning, #contentBody a:active ul.errorLine li.warning {
	background: #eeeeaa;
}

.outputLine span {
	padding: 0;
	margin: 0;
	width: auto;
}