body			{ font-family:sans-serif; }

div.comment		{}
div.title		{ font-size:200%; }
div.type		{ font-weight:bold; }

table.date		{ border-top:1px solid #000000; border-bottom:1px solid #000000; margin-bottom:3ex; margin-top:5px; }
table.date td.date	{ font-weight:bold; }
table.date td.dow	{}
table.date td.time	{}