h1
{
	font-family: "helvetic", "helvetica", "vera sans", "sans-serif";
}

img
{
	border: 5px;
}


.filename
{
	font-family: "helvetica", "sans-serif";
	font-size: 9pt;
}

.caption
{
	font-family: "times", "serif";
	font-size: 12pt
}