.body		{font: normal 14pt/16pt helvetica}
.config		{font: bold 16pt/16pt Garamond;
		color: #000080}

BODY		{background: #EEEEBB}

A:link		{color:blue}
A.content:link	{color:blue; text-decoration:none}
A:visited	{color:red}
A.content:visited	{color:blue; text-decoration:none}

.predicate	{font-style: italic;
		font: normal 16pt/16pt courier, monospace;
		color: black}
.termform	{font: bold 16pt/16pt courier, monospace;
		color: brown}
.highlight	{font-style: italic;
		font: normal 16pt/16pt courier, monospace;
		color: green}
.bdhighlight	{font: normal 16pt/16pt helvetica;
		color: green}
.body B		{font: bold 16pt/16pt helvetica}
.body BIG	{font: bold 16pt/16pt helvetica}

.predicate1	{color: red}
.predicate2	{color: blue}

H1		{font: bold 24pt/24pt helvetica}
H2		{font: bold 20pt/20pt helvetica}
H3		{font: bold 18pt/18pt helvetica}
H4		{font: bold 16pt/16pt helvetica}

P.n1		{margin-left: 1.5em}
P.n2		{margin-left: 3em}
P.n3		{margin-left: 4.5em}