html {
	background-color: #cccccc;
}
body {
	background-color: #cccccc;
	margin-left: 10em;
	margin-right: 2em;
}

#main {
}
#header {
}
#footer {
	font-size: small;
	font-style: italic;
	text-align: center;
}
#navbar {
	position: absolute;
	left: 1ex;
	top: 1ex;
}

div.sc {
	font-variant: small-caps;
	font-family: "Times New Roman", Times, serif;
	text-decoration: underline;
	font-size: large;
	white-space: nowrap;
}
div.next{
	padding: 0;
	margin: 0;
	font-family: Arial, Helvetica, sans-serif;
	font-size: x-small;
}
div.next ul{
	list-style: none;
	width: 13em;
	text-indent: 0pt;
	border: none;
	margin: 0;
	padding: 0;
}
div.next ul li {
	display: block;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #FFFFFF;
	border-right-color: #000000;
	border-bottom-color: #000000;
	border-left-color: #FFFFFF;
	margin: 0;
	padding-left: 1em;
	padding-right: 1ex;
	padding-top: 0;
	padding-bottom: 0;
}
div.next a {
	text-decoration: none;
	display: block;
	background-image: url(/images/arrow_grey.gif);
	background-repeat: no-repeat;
	background-position: right center;
	color: #000000;
}
div.next a:hover{
	color: #FF0000;
	background-image: url(/images/arrow_green.gif);
}
div.next li.selected span {
	display: block;
	background-image: url(/images/arrow_green.gif);
	background-repeat: no-repeat;
	background-position: right center;
}

div.next li.header {
	font-weight: bold;
	color: #FFFFFF;
	background-color: #333333;
}


#regex_help {
	padding-left: 4em;
	display: none;
}
#regex_help dl {
	padding-left: 2em;
}
#regex_help dt {
	width: 1em;
	text-align: left;
	position: absolute;
	font-weight: bold;
}
#regex_help dd {
	margin:0;
    padding: 0;
    padding-bottom: .5ex;	
	padding-left: 1.5em;
} 
a {
	color: #000000;
}
a:hover {
	color: #0000CC
}
.anon {
	color: #FF0000;
}
h1, h2, h2 {
	font-family: "Courier New", Courier, mono;
	font-weight: lighter;
	text-align: center;
}
ul, ul li {
 list-style:none;
}