BODY, .text {
	font-family:		Verdana, sans-serif;
	font-size:			12px;
}

A.smalltitle, A.smalltitle:link, A.smalltitle:visited, A.smalltitle:hover, A.title, A.title:link, A.title:visited, A.title:hover, A.mediumtitle, A.mediumtitle:link, A.mediumtitle:visited, A.mediumtitle:hover, A.largetitle, A.largetitle:link, A.largetitle:visited, A.largetitle:hover {
	font-weight:		bold;
	font-size			12px;
	text-decoration:	none;
	color:				#000000;
}

TABLE {
	border-collapse:	collapse;
}

TD {
	padding-right:		20px;
	padding-bottom:		4px;
}

UL {
	margin:				0px;
	padding-left:		17px;
}

BLOCKQUOTE {
	margin:				0px;
	padding-left:		16px;
}

SMALL {
	font-size: 			10px;
}

.smalltitle {
	font-weight:		bold;
	font-size:			12px;
}

.title {
	font-weight:		bold;
	font-size:			12px;
}

.mediumtitle {
	font-weight:		bold;
	font-size:			14px;
}

.largetitle {
	font-weight:		bold;
	font-size:			16px;
}

TT, PRE {
	font-family:		Monaco, monospace;
	font-size:			10px;
}

CODE {
	display:			block;
	white-space:		pre;
	font-family:		Monaco, monospace;
	font-size:			10px;
	background-color:	#EEEEEE;
	margin:				15px 10px 15px 20px;
	padding:			3px;
}

.content {
	width:				490px;
	text-align:			left;
	float:				left;
	padding:			10px;
}

.menu {
	text-align:			center;
	float:				right;
	padding:			10px;
}

IMG.left {
	float:				left;
	margin-right:		5px;
	margin-bottom:		5px;
}

IMG.right {
	float:				right;
	margin-left:		5px;
	margin-bottom:		5px;
}

IMG.button {
	vertical-align:		middle;
	margin-right:		5px;
}

/* Protocol documentation */
.protocoltitle {
	font-weight:		bold;
	font-size:			20px;
}

.protocolsectiontitle {
	font-weight:		bold;
	font-size:			18px;
}

.protocolitemtitle {
	font-weight:		bold;
	font-size:			16px;
}

.protocolitemsubtitle {
	font-weight:		bold;
}

HR.protocol {
	border:				0;
	height:				1px;
	background-color:	#000000;
}

CODE.protocol {
	display:			block;
	white-space:		pre;
	font-family:		Monaco, monospace;
	font-size:			10px;
	background-color:	#FFFFFF;
	margin:				0;
}

A.protocolanchor {
	text-decoration:	none;
	color:				#000000;
}