table.formatted td {
	border: thin solid #FFFFFF;
	text-align: center;
	padding: 0.5ex;
}
table.formatted th {
	border: thin solid #FFFFFF;
	background: #A5D5E7;
	padding: 0.5ex;
}
.sect {
	border-top-style: dashed;
	border-top-width: 1px;
	border-top-color: black;
	margin-top: 2ex;
}
body {
	font-family: corbel, sans-serif;
	background-color: #CCE6FF;
	color: #000000;
}
.treetriples {
	font-style: italic;
}
a:link {
	color: #0033CC;
	font-weight: bold;
}
a:visited {
	color: #6699FF;
	font-weight: bold;
}
strong {
	font-weight: bold;
	color: #800080;
	text-transform: uppercase;
}
.subpoint {
	margin-left: 2em;
	margin-top: 0ex;
	margin-bottom: 0.5ex;
}
.example {
	border: thin dashed gray;
	font-family: consolas, monospace;
	background-color: white;
	margin: 4ex;
	padding: 1ex;
	font-size: smaller;
}
code {
	font-family: consolas, monospace;
	padding-left: 0.5ex;
	padding-right: 0.5ex;
}
table.formatted {
	border-collapse: collapse;
	margin-left: 4ex;
}
ol.conditions li {
	list-style-type: lower-roman;
}
kbd {
	color: #808080;
}