@charset "iso-8859-2";

/*
 * :CSS 2.1
 * $Id: print.css,v 1.1.1.1 2005/11/11 20:04:30 lkundrak Exp $
 */

@media print {

*,
h1, h2
{
	font-size:	inherit;
	padding:	0px;
	margin:		0px;
}

body
{
	font-size:	12pt;
}

div.menu,
div.main a.sourcelink
{
	display:        none;
}

h1
{
	font-size:	16pt;
	font-family:	sans-serif;
	text-align:	center;
	page-break-after: avoid;
	margin-bottom:	12pt;
}

h2
{
	font-size:	12pt;
	font-family:	sans-serif;
	page-break-after: avoid;
	margin:		6pt 0pt;
}

pre.listing
{
	margin:         .5em;
	padding:        .5em;
	border:         .5pt solid black;
	page-break-inside: avoid;
	font-size:	9pt;
}

div.main p
{
	text-indent:    1.25cm;
	text-align:	justify;
	margin:		6pt 0pt;
}


} /* print */