.var	{ color : #0000c0; font-weight : bold }
.prog	{ color : #c00000; font-weight : bold }
.name	{ color : #0000c0; font-weight : bold }
.mark	{ color : #000080; font-weight : bold }
.cmd	{ color : #800000; font-weight : bold }
.parm	{ color : #000080 }
.links	{ background-color : #d0d0ff; color : #000000; line-height: 110% }

.old1
{	background-color: #ffe0a0;
	left:  5px;
	right: 5px;
	margin: 0 0 0 0;
	padding: 15px 8px 8px 8px;
	border-style: solid;
	border-width: 3px;
	border-color: #0000a0;
	width: auto;
}

.old2
{	background-color: #c0ffff;
	left:  5px;
	right: 5px;
	margin: 0 0 0 0;
	padding: 1em 1em 1em 1em;
	border-style: solid;
	border-width: 3px;
	border-color: #0000a0;
	width: auto;
}