a:link, a:visited
{
	color:				#004FAF;
	text-decoration:	none;
}

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

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

th
{
	background-color:	#E7E7E7;
}

td, th
{
	padding:			2px 6px;
}

.sframe
{
	border-color:		LightGrey;
	border-style:		solid;
	border-width:		3px;
	margin:				1em auto 1em auto;
	overflow:			auto;
	padding:			10px;
	width:				90%;
}

.sconsole
{
	font-family:		"DejaVu Sans Mono", monospace;
	font-size:			smaller;
	font-weight:		bold;
	color:				LightGrey;
	background-color:	black;
}

.asample
{
	font-family:		monospace;
	background-color:	#F5F5F5;
}

.csample
{
	font-family:		monospace;
	background-color:	#F8F8E8;
}

.clang
{
	font-family:		monospace;
}

.clangnw
{
	font-family:		monospace;
	white-space:		nowrap;
}

.hrsepar
{
	width:				16;
	height:				16;
	text-align:			center;
	background-color:	#E7E7E7;
}

.layern
{
	font-style:			italic;
}

.maths
{
	font-style:			italic;
	font-family:		monospace;
	white-space:		nowrap;
}

.order_head
{
	background-color:	#E7E7E7;
}

.order_even
{
	background-color:	#FFF0F0;
}

.order_odd
{
	background-color:	#E0F0FF;
}

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

.pgmnamnw
{
	font-family:		monospace;
	font-weight:		bold;
	white-space:		nowrap;
}

.shterm
{
	font-family:		"DejaVu Sans Mono", monospace;
	font-size:			smaller;
	font-weight:		bold;
}

.shtermnw
{
	font-family:		"DejaVu Sans Mono", monospace;
	font-size:			smaller;
	font-weight:		bold;
	white-space:		nowrap;
}