#search
{
	border: 1px solid #eee;
}

#search h1
{
	font-size: 1.3em;
	padding: 0px;
	margin: 0px;
}

#search h2
{
	font-size: 1.1em;
	padding: 0px;
	margin: 0px;
}

.highlight		
{
	background-color: #FFC;
	font-weight: bold;
	padding: 1px;
}

.Result_Link
{
	border-style: ridge;
	border-color: #666;
	border-width: 0px 0px 1px 0px;
	margin: 0 15px 0 15px;
	font-weight: bold;
}

.author
{
	font-size: .9em;
	font-weight: normal;
	text-indent: 3;
	font-style: italic;
}

.details
{
	font-size: 10px;
	margin: 0 15px 0 15px;
}

.detail
{
	margin: 10px 25px 15px 25px;
	font-family: verdana, Arial, Helvetica, sans-serif;
	color: #333;
	font-size: 12px;
}

code
{
	margin: 10px;
	padding: 10px;
	border: 1px solid #666;
	background-color: #ddd;
	display: block;
}
/*
code
{
	margin: 10px;
	font-family: Courier;
	color: #363;
	white-space: pre;
	display: block;
	border: 1px solid #ccc;
	padding-left: 10px;
	background-color: #eee;
}