body {
	background-color: #CCCCCC;
	text-align: center;
}

#wrap {
	border-top: 1px solid #999999;
	border-right: 1px solid #333333;
	border-bottom: 1px solid #333333;
	border-left: 1px solid #999999;
	padding: 30px;
	width: 720px;
	margin: 0px auto 0px auto;
	text-align: left;
	background-color: white;
}

#navigation {
	font-family: Arial;
	font-size: .8em;
	font-weight: bold;
}

#navigation a {
	color: black;
	text-decoration: none;
}

#navigation a:hover {
	color: red;
}


#header {
	text-align: center;
}

#content {
	padding: 30px;
}


p
{
	text-align: justify;	
}

h2
{
	padding-top: 24px;	
}

h3
{
	padding-top: 16px;	
}

pre
{
	padding-top: 16px;	
	padding-left:  36px;
	padding-right:  36px;
}

#proscons
{
	padding-left: 36px;	
}

#figure
{
	font-size: .9em;	
	padding-bottom: 16px;
	padding-left:  36px;
	padding-right:  36px;
}

.file
{
	font-style: italic;	
}



li .regexpr
{
	float: right;
}