a:link 			{ text-decoration:underline; color:blue; }
a:visited 		{ text-decoration:underline; color:navy; }
body			{color:black;background-color:ivory;}
p,div,li	{ line-height:140%}
.border			{border:thick solid gray;margin:auto;padding:1mm}
.intable		{border:thin solid navy;margin:auto;}
.intd			{border:thin solid navy;margin:auto;padding:1mm}
.intdaction		{border:thin solid navy;margin:auto;padding:1mm}
.intdInteger		{border:thin solid navy;margin:1mm;padding:1mm;text-align:center}
.ind			{text-indent:1em;}
.cent			{text-align:center;}
.red			{color:red;}
.yel			{color:yellow;}
.chui			{font-size:80%;color:maroon;}
pre			{color:white;background-color:gray;padding:1mm 2mm;}