.menuBlock { margin:3px 0px 5px 2px; background-color:#202048; width:125px; padding:6px; float:left; }
.menuItem { padding:3px 0px 3px 8px; font-weight:bold; background-color:#EAE6CC; font-size:1.2em; margin:2px 0px 0px 0px; }
.menuItem a:link { color:#000080; text-decoration:none; }
.menuItem a:visited { color:#000080; text-decoration:none; }
.menuItem a:hover { color:blue; text-decoration:underscore; }
.content { margin:0px 0px 0px 146px; padding:8px; background-color:#EAE6CC; }

.body				{	font-family:  Arial, Helvetica, sans-serif; font-size: 14px; font-weight: normal;
					line-height: 14px; color: #000000;	}
					
.body-bold			{	font-family:  Arial, Helvetica, sans-serif; font-size: 14px; font-weight: bold;
					line-height: 14px; color: #000000;	}
	/* "body-bold" is strictly a bold version of the normal body font */
					
.body-header1			{	font-family:  Arial, Helvetica, sans-serif; font-size: 18px; font-weight: bold;
					line-height: 18px; color: #000000;	}
	
.body-bluetext			{	font-family:  Arial, Helvetica, sans-serif; font-size: 14px; font-weight: normal;
					line-height: 14px; color: #0000FF;	}
	/* Blue version of normal body text (used in results page headers) */
	
.body-greentext			{	font-family:  Arial, Helvetica, sans-serif; font-size: 14px; font-weight: normal;
					line-height: 14px; color: #008800;	}
	
.code				{	font-family:  Courier; font-size: 14px; font-weight: normal;
					line-height: 14px; color: #000000;	}

body				{	background-color:#404058; font-family:  Arial, Helvetica, sans-serif; font-size: 14px; 
					font-weight: normal; line-height: 14px; color: #000000;	}

div.menu			{	font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#FFEEEE;	}
					
/* These are used for the opening page.	*/
span.dti			{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 16px; font-weight: bold;
					color:#000000; text-align: center; }
p.dti				{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 16px; font-weight: bold;
					color:#000000; text-align: center; }
p.dtim				{text-align: center; }
p.dti_legend		{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 12px; font-weight: normal;
					color:#000000; }
img.center			{ align: center; }

/* These are used on various descriptive pages.	*/
p.head				{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 16px; font-weight: bold;
					color:#000000; text-align: center; }
p.sub2				{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#000000;  margin-bottom: 0px; padding-bottom: 0px; line-height: 0px; }
p.sub1				{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: normal;
					color:#000000; line-height: 12px; font-style:italic; }
p.body				{font-family:  Arial, Helvetica, sans-serif; 	font-size: 14px; font-weight: normal;
					color:#000000; line-height:19px; }
p.PicLegend			{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#000000; }
p.PicLegendTop		{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#000000; margin-bottom: 20px; padding-bottom: 20px; line-height: 20px; }
img.pad6			{ padding: 6px; margin: 6px; }
p.toc				{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#000000; margin-bottom: 0px; padding-bottom: 3px; line-height: 0px; }
p.jumpto			{ margin-bottom: 0px; padding-bottom: 4px; line-height: 1px; }


/* These are used in the opcode description.	*/
table.opcodes		{}
span.protocolHead	{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 14px; font-weight: bold;
					color:#000000; text-align: center; }
span.protocolName	{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 12px; font-weight: bold;
					color:#000000; text-align: center; font-style:italic; }
span.protocolTo		{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 12px; font-weight: bold;
					color:#0000BB; text-align: center; font-style:italic; }
span.protocolFrom	{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 12px; font-weight: bold;
					color:#00BB00; text-align: center; font-style:italic; }
span.protocolNote	{font-family:  Verdana, Helvetica, sans-serif; 	font-size: 12px; font-weight: normal;
					color:#A00000; }
/*
	The following section is for links.  REMEMBER: for these to work properly, the order MUST BE link/visited/hover/active.
*/
/*	Note: this format is acceptable to IE 4 under Windows 98.  It seems to work for all browsers, in fact.	*/
div.menu a:link		{ color:#FFEEEE; background:#2D203B; text-decoration:none; }
div.menu a:visited	{ color:#FFEEEE; background:#2D203B; text-decoration:none; }
div.menu a:hover	{ color:#FF8000; background:#2D203B; text-decoration:none; }

/*	Table of Contents link on descriptive pages.	*/
a.jumpto:link		{ color:#0000FF; text-decoration:underscore; }
a.jumpto:visited	{ color:#0000FF; text-decoration:underscore; }
a.jumpto:hover		{ color:#0000FF; text-decoration:underscore; }

//	These are links with gray initial color inside of the results pages
a.results-gray:link		{ color:#888888; }
a.results-gray:visited	{ color:#888888; }
a.results-gray:hover	{ color:#AAAAAA; }

a:link 		{ color:#B08040; }
a:visited 	{ color:#800000; }
a:hover 	{ color:#500000; background:#EAE6CC; }

//	These are for the thumbnail images that act as links.
div.thumbs a:link	{ color:#FFEEEE; }
div.thumbs a:visited	{ color:#FFEEEE; }
div.thumbs a:hover	{ color:#FF8000; }