body 
{
	font-family: Luxi Sans, Tahoma, sans-serif;
}

a 
{
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

div.figure
{
	text-align: center;
	border-style: solid;
	border-width: 1px 0px 1px 0px;
	border-color: #aaa;
padding: 8px;
}

div.figure > p.title
{
margin: 0px;
}

h2.title
{
	border-style: solid;
	border-width: 1px;
	color: #005500;
}

h3.title
{
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	color: #000055;
}

div.note > h3.title
{
margin: 0px;
}

div.important > h3.title
{
margin: 0px;
}

div.warning > h3.title
{
margin: 0px;
}

div.important
{
margin: 4px;
padding: 4px;
	background-color: #eef;
	border-width: 1px;
	border-style: dashed;
}

div.warning
{
margin: 4px;
padding: 4px;
	background-color: #fee;
	border-width: 1px;
	border-style: dashed;
}

div.note
{
margin: 4px;
padding: 4px;
	background-color: #ffe;
	border-width: 1px;
	border-style: dashed;
}

span.guibutton
{
	border-style: outset;
	background-color: #eee;
	padding-right: 4px;
	padding-left: 4px;
	margin-right: 4px;
	margin-left: 4px;
	border-width: 2px;
	border-color: #777;
}

span.type
{
	font-family: monospace;
	/* margin-right: 4px;
	margin-left: 4px; */
}

div.table table
{
	border-style: solid;
border-width: 1px;
margin: 2px;
}

div.table td
{
	border-style: solid;
	border-color: #eee;
	border-width: 0px;
	border-bottom-width: 1px;
	padding: 2px;
}

div.table tr
{
}