/** used only by examples.html, fancy table with highlights */
#desctab_examples table {
	width: 100%;
	text-align: left;
	border: 3px;
	cellpadding: 2px;
	cellspacing: 2;
	font-size: 18px;
}

#desctab_examples td {
	vertical-align: top;	
}

#desctab_examples td.first_entry {
	font-weight: bold;
	width: 15%;
}

#desctab_examples thead tr th {
	font-family: 'Happy Monkey', sans serif, cursive;
	font-size: 14pt;
}

/** used only by tools */
.tool {
	margin: 25pt;
}
.tool .tool_name {
	font-weight: bold;
	font-family:monospace;
/* 	text-decoration:underline; */
	margin: 10pt;
}
/** not used yet */
.tool_args {
}
.tool_descp {
	margin-top: 10pt;
	margin-left: 30pt;
}