object#cal	{margin-left: 1ex;}
	.file	{background-color: rgb(207, 191, 223); border: 1px solid #400080;
		margin: 1ex;}
	div.file.quoted	{margin-bottom: 0; border-bottom-width: 0;}
	code.file.quoted {margin-top: 0;}