<style>
	p.text, div.text {
		margin-left: 0em;
		margin-top: 1em;
	}
	table.header {
		margin: auto;
	}
	td.header {
		color: blue;
		font-family: sans-serif;
		font-weight: bold;
		font-size: x-large;
	}
	div.header {
		color: blue;
		font-family: sans-serif;
		font-weight: bold;
		margin-top: 1em;
	}
	pre.diagramuml, code.diagramuml, div.diagramsch{
		color: darkgreen;
	}
	pre.diagramsch, code.diagramsch, div.diagramsch{
		color: brown;
	}
	div.term {
		color: blue;
		font-family: sans-serif;
		font-weight: bold;
		margin-top: 1em;
	}
	div.define {
		color: black;
		margin-top: 1em;
		margin-left: 0em;
	}
	div.quote {
		color: color;
		margin-top: 1em;
		margin-left: 4em;
	}
	DT {
		font-weight: bold;
	}
	span.set {
		font-family: sans-serif;
		font-weight: bold;
	}
	span.cat {
		font-family: "zapf chancery" cursive;
		font-weight: bold;
		font-size: larger;
	}
	span.func {
		font-family: "zapf chancery" cursive;
		font-weight: bold;
		font-size: larger;
	}
	span.map {
	}
	span.object {
	}
	span.category {
		font-family: "zapf chancery" cursive;
		font-style: italic;
		font-weight: bold;
		font-size: larger;
	}
	span.family {
		font-family: "zapf chancery" cursive;
		font-style: italic;
		font-weight: bold;
		font-size: larger;
	}
	span.functor {
		font-family: "zapf chancery" cursive;
		font-style: italic;
		font-weight: bold;
		font-size: larger;
	}
	.copying {
		margin: 10 10 10 10;
		text-align: justify;
		font-size: smaller;
	}
	h1 {
		font-size: x-large;
	}
	div.lx {
		margin-top: 1em;
		margin-right: 24em;
		margin-bottom: 1em;
		margin-left: 4em;
		border: 1px solid;
		background-color: peachpuff;
		color: sienna;
	}
	span.lambda {
		font-family: sans-serif;
		font-weight: bold;
	}
	div.proof {
		font-family: sans-serif;
		font-weight: bold;
	}
	div.lambdacmd {
		font-family: monospace;
		font-weight: bold;
		font-size: large;
	}
</style>