LI		{font-family:sans-serif}
P		{font-family:sans-serif}
P.tiny		{font-family:sans-serif; font-size:80%;}
P.warning	{font-family:sans-serif; font-weight:bold;
		 font-variant:small-caps; text-decoration:underline}
B		{font-family:sans-serif; font-weight:bold;
		 color:blue}
A		{font-family:sans-serif; font-weight:bold;
		 color:blue}
H1		{font-family:sans-serif; font-weight:bold;
		 text-decoration:underline; font-size: 140%; color:blue}
H2		{font-family:sans-serif; font-weight:bold;
		 text-decoration:underline; font-size: 120%; color:blue}
PRE		{font-family:fixed; font-size: 100%; color: blue}
B.codedef	{font-family:fixed; font-size: 110%; font-weight:bold;
		 color: blue}
U.codedef	{font-family:fixed; font-size: 110%; font-weight:bold;
		 color: blue}