/* external style sheet for the AMI Documentation */

/* Elements that you don't want to be printed */

.noPrint {
	display: none;
}

/* Elements that you want to be printed,
It is good to set margins and widths for the printers. */

.printHeader {
	display: block;
	margin-bottom: 20px;
}