@charset "iso-8859-1";
/* PRINT */

div#top {display:none;}
ul#funcs {display:none;}

address.end {
	clear:both;
	margin:10px 0 0;
}