span.color0 { color: red; }
span.color1 { color: green; }
span.color2 { color: blue; }
span.color3 { color: aqua; }
span.color4 { color: lime; }
span.color5 { color: fuchsia; }
span.color6 { color: maroon; }
span.color7 { color: olive; }
span.color8 { color: purple; }
span.color9 { color: silver; }

div.table-contents table, div.informaltable table {
	border-width: 1px;
	border-spacing: 0px;
	border-style: solid;
	border-color: black;
	border-collapse: separate;
}
div.table-contents table th, div.informaltable table th {
	border-width: 1px;
	border-spacing: 0px;
	border-style: solid;
	border-color: black;
	padding: 3px;
}
div.table-contents table td, div.informaltable table td {
	border-width: 1px;
	border-spacing: 0px;
	border-style: solid;
	border-color: black;
	padding: 3px;
}