TABLE.arguments
{
	font-family			: Arial;
	font-size			: 10pt;

	width				: 95%;
	padding				: 0px;
	margin-left			: 20px;

	border-style		: none;
}

TABLE.arguments TH, span.argument
{
	font-style			: oblique;
	font-weight			: bold;
}

TABLE.arguments TH
{
	text-align			: left;

	width				: 20%;
	padding				: 2px 8px 2px 4px;
	margin				: 0px;

	border-width		: 2pt;
	border-style		: none;
	background			: #cfc;
}

TABLE.arguments TD
{
	font-style			: normal;
	font-weight			: normal;
	text-align			: left;

	padding				: 2px 4px 2px 4px;
	margin				: 0px;

	border-width		: 2pt;
	border-style		: none;
	background			: #efe;
}

TABLE.enum_definition
{
	font-family			: Arial;
	font-style			: normal;
	font-weight			: normal;
	font-size			: 10pt;
	text-align			: left;

	margin				: 8px 8px 10px 20px;
	border-collapse		: collapse;
}

TABLE.enum_definition TR, TABLE.enum_definition TD
{
	border				: solid 1px #000;
	padding				: 2px 1em 2px 2px;
	background			: #eef;
}

TABLE.enum_definition TH
{
	font-style			: normal;
	border				: solid 1px #000;
	padding				: 2px 1em 2px 2px;
	background			: #ccf;
	width				: auto;		/* Cancel the "width: 20%" in TABLE.arguments TH */
}



UL
{
	font-family			: Arial;
	font-weight			: normal;
	font-size			: 10pt;

	margin				: 0px 8px 10px 40px;
	padding				: 0px;
}

LI
{
	margin				: 0px 8px 2px 16px;
	padding				: 0px;
}


CODE
{
	font-family			: "Courier New", monospace;
	font-size			: 10pt;

	position			: normal;
}



TABLE.table
{
	margin				: 0px 8px 10px 20px;
}

TABLE.table TR, TABLE.table TD
{
	font-family			: Arial;
	font-style			: normal;
	font-weight			: normal;
	font-size			: 10pt;
	text-align			: left;

	padding				: 2px;
	border-width		: 2px;
	background			: #dfd;
	border-color		: #fff;
	border-style		: none;
}

TABLE.table TH
{
	font-family			: Arial;
	font-style			: normal;
	font-weight			: bold;
	font-size			: 10pt;
	text-align			: left;

	padding				: 2px;
	border-width		: 2px;
	background			: #bfc;
	border-color		: #fff;
}


.sift pre {
	margin: 15px 60px;
}

.sift p {
	margin-left: 60px;
}

h3 {
	padding-left:2px;
	margin-right:10px;
	border-bottom: 2px #6b9 solid;
}


/*============================================================
	Styles for history descriptions
 *============================================================*/

DL.history
{
	margin				: 10px 0px 10px 10px;
	padding				: 0px;
}

DL.history DT
{
	clear:both;
	font-family			: Arial;
	font-style			: normal;
	font-weight			: bold;
	text-align			: left;
	font-size			: 9pt;

	margin				: 0px;
	padding				: 0px;
	float:left;

/*	background			: #eef; */
}

DL.history DD
{
	font-family			: Arial;
	font-style			: normal;
	font-weight			: normal;
	text-align			: left;
	font-size			: 10pt;

	margin-left			: 70px;
	padding				: 0px;
}