.code {
	background-color: #e0e0f0;
}
div.code {
	min-width: 92%;
	margin-left: 2em;
	padding: 3px 3px 3px 3px;
	border-left: 2px solid blue;
	margin-top: 3pt;
	margin-bottom: 3pt;
}
p div.code, div.par div.code { margin-top: 0; }
div.code p, div.code div.par { margin-top: 0; }
div.litdld { width: 100%; text-align: right;}
div.litdld a { font-size: 70%; }