a:link, a:visited
{
	color:				#004FAF;
	text-decoration:	none;
/*	font-weight:		bold; */
}

a:hover
{
	color:				red;
	text-decoration:	underline;
}

body
{
	background-color:	#F0F0E0;
}

h3
{
	font-style:			italic;
}

img
{
	border:				0;
	vertical-align:		middle;
}

th
{
	background-color:	#D0D0B0;
/*	font-style:			normal; */
}

.clang
{
	font-family:		monospace;
/*	color:				#000000; */
}

.mnemo
{
	font-family:		sans-serif;
	font-style:			italic;
	font-weight:		bold;
/*	white-space:		nowrap; */
}

.rpnmach
{
	font-weight:		bold;
	white-space:		nowrap;
}

.shterm
{
	font-family:		monospace;
}

.stkreg
{
	font-style:			italic;
	font-weight:		bold;
}