h1, h2 {
	font-family: sans-serif;
        margin-left: -5mm;
}

h3 {
	font-family: sans-serif;
}

dt, dd, p, li {
	font-family: Trebuchet MS, serif;
}

pre {
	margin-left: 1em;
	color:darkMagenta;
}

dt { margin-top: 1em }

code {
	color:darkMagenta;
}


body {
	margin: 1cm;
}

:link {
	color:red;
	text-decoration:underline;
}

th.definition {
	width: 8em;
	vertical-align: top;
	font-family: Trebuchet MS, serif;
 	text-align: left;
}

td.synopsis {
	width: 8em;
	color:darkMagenta;
	vertical-align: top;
	font-family: monospace;
}

td.example {
	color:darkMagenta;
	font-family: monospace;
}

td.name {
	font-family: sans-serif;
	font-size: large;
}
table.definition {
	border-top: thin solid;
}

td.download, td.version, th.download, th.version {
	text-align: left;
	padding:1em  ;
	border: thin solid;
}