/*

 * 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 */

}