/*
 * Extension stylesheet for fivetrees: printer medium
 * (c) Steve Fairhead: November 11, 2001
 */

body {
	font-size: 75%;		/* more compact printout */
}
body,h1,h2,h3,h4 {
	margin-left: 0;
	margin-right: 0;
}
p,ul,ol,caption,table,th,tr,td {
	font-size: 100%;	/* browser bug workaround */
}