/* Default style definitions */

body {
	margin: 10px;
	padding: 0px;
	color: #000000;
	background-color: #F0F0F0;
}
form {
	padding: 0px;
	margin: 0px;
}
input {
	padding: 2px 5px;
	margin: 0px;
}
textarea {
	padding: 0px;
	margin: 0px;
}
input, textarea {
	background-color: #FFFFFF;
	color: #000000;
	border: 1px solid #000000;
}
p {
	padding: 0px;
	margin: 5px 0px;
}
table {
	border-collapse: separate;
	border-spacing: 0px;
	padding: 0px;
	margin: 0px;
}
td {
	padding: 0px;
	margin: 0px;
}
ul {
	margin: 10px 0px 10px 20px;
	padding: 0px;
}
li {
	margin: 0px;
	padding: 0px;
}
label:hover {
	cursor: pointer;
}
a:link {
	text-decoration: underline;
	color: #0000FF;
}
a:visited {
	text-decoration: underline;
	color: #800000;
}
a:hover, a:active {
	color: #FF0000;
}

/* Boxes/headers coloring */
h3 {
	margin-top: 5px;
	border-bottom: 6px solid black;
}
.subjectBorder {
	border-color: #000080;
}
.patternBorder {
	border-color: #800000;
}
.matchesBorder {
	border-color: #808000;
}
.resultBorder {
	border-color: #008000;
	clear: both;
}
.splitBorder {
	border-color: #008000;
	clear: both;
}
.optionsBorder {
	border-color: #008080;
}
.infoBorder {
	border-color: black;
}
.helpBorder {
	border-color: #800080;
}
/* Misc classes */

.patternbox {
	padding: 2px 5px;
	font-family: "Courier New", monospace;
	font-size: 12px;
	width: 330px;
}
.checkbox {
	padding: 1px;
}
.box {
	padding: 10px;
	margin: 10px;
	border-width: 1px;
	border-style: dotted;
	font-family: Verdana;
	font-size: 12px;
	color: #000000;
	background-color: #FFFFFF;
	width: 500px;
	float: left;
	min-height: 220px;
}
.subject {
	border: 1px solid #000000;
	background-color: #F0F0F0;
	margin: 0px;
	padding: 3px;
	font-family: "Courier New";
	min-height: 1em;
}

/* Subject span class for text that are matched/replaced/split */
.replaced {
	text-decoration: underline;
	color: #c00000;
}

/* Matchtable */

.matchtable {
	border-left: 1px dotted #000000;
	border-top: 1px dotted #000000;
	empty-cells: show;
}
.matchtable th {
	font-weight: bold;
	text-align: center;
	padding: 5px;
	background-color: #E0E0E0;
	border-right: 1px dotted #000000;
	border-bottom: 1px dotted #000000;
}
.matchtable td {
	padding: 5px;
	border-right: 1px dotted #000000;
	border-bottom: 1px dotted #000000;
	text-align: center;
}
.matchtable td.match {
	text-align: left;
	font-family: "Courier New";
}
.matchtable td.pos {
	text-align: right;
	white-space: nowrap;
}
.matchtable td.posbox {
	text-align: right;
	white-space: nowrap;
}
.posbox {
	background-color: #F0F0F0;
	color: #0000FF;
	padding: 5px;
}
.posbox:hover {
	cursor: pointer;
	background-color: #000000;
	color: #FFFFFF;
}
.posbox a:link, .posbox a:visited {
	padding: 5px;
	background-color: inherit;
	color: inherit;
	text-decoration: none;
	display: block;
	text-align: right;
}
.posbox a:hover, .posbox a:active {
	background-color: #000000;
	color: #FFFFFF;
}

/* Style for inline pattern */

.pattern {
	border: 1px solid #000000;
	background-color: #F0F0F0;
	white-space: pre;
	font-family: "Courier New";
	padding: 0px 2px;
}

/* Highlight styles */

.hi-normal {
	color: parent;
	background-color: transparent;
}
.hi-select {
	color: #FFFFFF;
	background-color: #000000;
}

/* Options styles */

a.pophelp:hover {
	/*border-width: 0; /* IE */*/
	padding: 3px;
	cursor: help;
}
.popup {
	display: none;
}
.options {
	margin-left: 20px;
}
.options td {
	padding: 5px;
}
.pophelp {
	position: relative;
}
.pophelp:link, .pophelp:visited, .pophelp:hover, .pophelp:active {
	color: #000000;
	text-decoration: none;
}
.pophelp {
	font-weight: bold;
	margin-bottom: 15px;
	margin-left: 10px;
	font-size: 10px;
	vertical-align: top;
	padding: 2px;
	background-color: #F0F0F0;
	border: 1px dashed #000000;
}

.pophelp:hover .popup {
	display: block;
	position: absolute;
	left: 1em;
	top: 2em;
	text-align: left;
	color: #000000;
	border: 1px solid #000000;
	background-color: #FFFFC0;
	font-weight: normal;
	width: 200px;
	font-size: 11px;
	z-index: 1;
	padding: 3px;
}
/* IE Hack \*//*/
.pophelp {
	display: inline-block;
	top: 0.15em;
	line-height: 1.05;
}
/* */