#page-map dt
{
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 1.6em;
	margin: 1em 0 0.2em 0;
}

#page-map dd
{
	line-height: 1.8em;
}

#page-map ul
{
	line-height: 2em;
	font-size: 0.95em;
}

#page-map li
{
	padding: 0;
	margin-bottom: 0;
}