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

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

body
{
	background-color:	#F0F0E0;
	font-family:		serif;
}

h3
{
	font-style:			italic;
}

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

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

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

.hilitb
{
	background-color:	#D8E8F8;
}

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

.pgmnam
{
	font-family:		monospace;
	font-weight:		bold;
}

.pmarg
{
	margin-left:		2em;
}

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

.smath
{
	font-style:			italic;
}

.usetb
{
	border-width:		1px;
	border-style:		solid;
	background-color:	#E8E8D8;
}

table.usetb td, table.usetb th
{
	border:				1px solid #D0D0B0;
}