pre.display	{font-family:inherit;}
pre.format	{font-family:inherit;}
pre.smalldisplay	{font-family:inherit; font-size:smaller;}
pre.smallformat	{font-family:inherit; font-size:smaller;}
pre.smallexample	{font-size:smaller;}
pre.smalllisp	{font-size:smaller;}
span.sc		{font-variant:small-caps;}
span.roman	{font-family: serif; font-weight: normal;} 
dt		{margin-top:0.7em;}
dd		{margin-top:0.3em;}