body	{font-size: 90%;}
h1	{font-size: 140%;}
h2	{font-size: 120%; color: navy;}
h3	{font-size: 100%; padding: 4pt 2pt 2pt 2pt;}
table	{font-size: 100%;}
.textmenu	{font-size: 90%;}
.cright	{font-size: 8pt;}
.warning	{color: maroon;}