body
{
	font-size:	14px;
	text-decoration: none;
	color:		black;
}

img
{
   border: 0;
}

a
{
	font-size:	14px;
	text-decoration: none;
}

a:visited
{
	color:		blue;
}

pre
{
	height:		73%;
	max-height:	73%;
	overflow:	auto;
	margin:		0;
}

div
{
	margin:		0;
}

#search
{
   padding: 4px;
   width: 400px;
   position: relative;
   margin-left: auto;
   margin-right: auto;
   margin-top: -60px;
}