body
{
	padding: 0px;
	margin: 0px;
	
	background: #fafafa;
	
	font-family: "Georgia", "sans";
}

a
{
	text-decoration: none;
	border-bottom: solid 1px #25496B;
	color: #25496B;
}

a:hover
{
	color: #4E7294;
	border-bottom: solid 1px #4E7294;
}


.codebox
{
	line-height: 13px;
	white-space: pre;
	font-family: "Courier New", Courier, monospace;
	padding-top: 10px;
	padding-bottom: 28px;
	border-bottom: dashed 1px #aaa;
}

#top
{
	font-family: "Georgia", "sans";
	margin: 0px;
	border-bottom: solid 1px #ddd;
	min-height: 60px;
	height: 60px;
	font-size: 1.1em;
	background: #f6f6f6;
}

#navigation
{
	padding: 20px;
	padding-top: 15px;
	float: left;
	font-family: "Georgia", "sans";
	line-height: 1em;
}	

#top p
{
	margin-top: 0px;
	margin-bottom: 0px;
	padding: 0px;
}

.navigation-title
{
	color: #25496;
	letter-spacing: 0.1em;
}

.navigation-article
{
	color: #25496;
	letter-spacing: 0.1em;
	font-size: 0.6em;
}

#view
{
	float: right;
	padding: 20px;
}

#codesample
{
	padding: 0px;
	margin: 0px;	
	width: 95%;
}

#showsource
{
	overflow:auto;
	position: absolute;
	top: 50px;
	right: 20px;
	width: 70%;
	padding: 10px;
	border: dashed 1px #aaa;
	background: #ECECEC;
	max-height: 85%;
	height: 85%;
	display: none;
}

#showsource b
{
	font-size: 1.4em;
	color: #666;
}

a.top
{
	padding: 8px;
	background: #25496B;
	color: #000;
	font-weight: normal;
	color: #fff;
	border: solid 1px #25496B;
}

a.top-active, a.top:hover
{
	border: solid 1px #D0DCE8;
}



.delimeter
{
	clear: both;
}

a.example-n-link
{

}

a.example-n-link:hover div
{
	color: #000;
}

ul.examples-list
{
	list-style: none;
}

ul.examples-list li
{
	border-bottom: dotted 1px #ddd;
	padding: 0 0 0.5em 0;
}

ul.examples-list li p a
{
	font-size: 1.2em;
}

ul.examples-list li p.art
{
	margin: 0.1em 0;
	font-size: 0.9em;
}