/********************************************
 *	Stylesheet for printable verion of page
 ********************************************/


	a {
		color:#000000;
		text-decoration:none;
	}

	.sectiontitle {
		font-weight:bold;
		font-size:large; }
	.pagetitle { /* title printed by php function template_pagetitle() */
		margin-top:9px;
		margin-bottom:9px;
		font-weight:normal;
		font-size:x-large; }

	div.example:first-line {
		font-weight:bold; }

	table.equationtable {
		background-color:#DADADA;
		margin-left:30px;
		border: 1px solid #DADADA;
	}
	table.equationtable td {
		background-color:#FFFFFF;
		vertical-align:top;
	}
	table.equationtable th {
		text-align:left;
		font-weight:normal;
		background-color:#EFEFEF;
	}

	.foot {
		margin-top:7px; 
		font-family:arial;
		font-size:x-small;
		text-align:center;
	}