/* external style sheet for the AMI Documentation */

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

.printHide {
	display: none;
}

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

.print {
	display: block;
}