/* GROUP START */
@page
{
}
/* GROUP END */

div.sh5content h1
{
	font-size:1.7em;
	margin:10px;
}
div.sh5content h2
{
	font-size:1.5em;
	margin:10px;
}
div.sh5content h3
{
	font-size:1.4em;
	margin:10px;
}
div.sh5content h4
{
	font-size:1.3em;
	margin:10px;
}
div.sh5content h5
{
	font-size:1.2em;
	margin:10px;
}
div.sh5content h6
{
	font-size:1.0em;
	margin:10px;
}
div.sh5content span:not(.read)
{
	white-space:pre-wrap;
}