body {
	color: black;
	background-color: white;
}
p {
	font-family : Arial, helvetica, sans-serif;
	font-weight : normal;
	text-align: justify;
}
p.cnt {
	text-align: center;
}
h1 {
	font-family : Arial, helvetica, sans-serif;
	font-size: 150%;
	font-weight : bold;
	font-variant : normal;
	color: #C04C00;
	border-bottom: solid #C04C00 3px;
	padding-bottom: 3px;
}
h2 {
	font-family : Arial, helvetica, sans-serif;
	font-size: 150%;
	font-weight : bold;
	font-variant : normal;
	color: #C04C00;
	border-bottom: solid #C04C00 3px;
	padding-bottom: 3px;
}
span.match, span.string {
	font-family: 'Andale Mono', 'Lucida Console', monospace;
	white-space: nowrap;
	padding-top: 1px;
}
span.match {
	background-color: #C0E0FF;
}
span.string {
	background-color: #C0FFC0;
}
span.code {
	font-family: 'Andale Mono', 'Lucida Console', monospace;
	white-space: nowrap;
}
span.code span {
	padding-top: 1px;
}
span.nobr {
	white-space: nowrap;
}
pre {
	font-family: 'Andale Mono', 'Lucida Console', monospace;
}
ul {
	font-family : Arial, helvetica, sans-serif;
	margin-left : 20px;
	padding-left : 0;
}
ul.noindent {
	margin-left: 0px;
}
ul li {
	list-style-position : inside;
}
th, td {
	font-family : Arial, helvetica, sans-serif;
}
table.reference {
	border-collapse: collapse;
  	border: solid black 2px;
}
td.yes {
	background-color: #E0FFE0;
}
td.fail {
	background-color: #FFF4E8;
}
table.reference th {
	border-right: solid black 1px;
	border-bottom: solid black 1px;
	padding: 4px;
}
table.reference td {
	border-right: solid black 1px;
	border-bottom: solid black 1px;
	padding: 4px;
}
div#copyright {
	margin-top: 10px;
	padding-top: 2px;
	border-top: groove #C0C0C0 2px;
	font-size: 66%;
}
img.left {
	margin-right: 4px;
	float: left;
	border: 0;
}
div.topad {
	margin: 20px 0 20px 0;
}
.regexnest1 { color: #000000; background-color: #60F040; }
.regexplain { background-color: #FFE0C0; }
.regexspecial { color: #000080; background-color: #80C0FF; }
.regexnest2 { color: #000000; background-color: #00C000; }
.regexnest3 { color: #FFFFFF; background-color: #006000; }
.regexccopen { color: #181000; background-color: #FFC040; font-weight: bold; }
.regexccspecial { color: #181000; background-color: #F09000; }
.regexccliteral { color: #302000; background-color: #FFC040; }
.regexescaped { color: #202020; background-color: #C0C0C0; }
.regexccrange { color: #302000; background-color: #F8A820; }
.regexcomment { color: #0000FF; background-color: #FFE0C0; font-weight: bold; font-style: italic; }
.regexerr { color: #FFFFFF; background-color: #FF0000; }
.regexmeta { color: #300040; background-color: #C080FF; }
.replaceplain { background-color: #FFF860; }