body
{
	margin: 25px;
	font-family: arial, sans serif, verdana;
	font-size: 12px;
	background-image: url('/images/splash.png');
	background-repeat: repeat-x;
	background-color: #f8ffef;
}

h1,h3
{
	text-decoration: underline;
}

h3
{
	margin-top: 40px;
}

font.asterik
{
	color: red;
}

div.example
{
	width: 75%;
	border: 1px solid #dddddd;
	background-color: #fefefe;
	padding: 10px;
	overflow: scroll;
}

div.example h1
{
	font-size: 13px;
	font-weight: bold;
}