@import url(TiNG.css);

dt {
	font-weight: bold;
}

.version-Ps {
	font-family: "Arial", sans-serif;
	background-color:#ccccff;
}

.version-pv6 {
	font-family: "Arial", sans-serif;
	background-color:#33cccc;
}

.version-TiNG {
	font-family: "Arial", sans-serif;
	background-color:#ccffcc;
}

.header-pv6 {
	font-family: "Arial", sans-serif;
	background-color:#33cccc;
	font-weight: bold;
}

.header-TiNG {
	font-family: "Arial", sans-serif;
	background-color:#ccffcc;
	font-weight: bold;
}

.version-v1-rm {
	font-family: "Arial", sans-serif;
	background-color:#ff4444;
}

.version-v1-rmix {
	font-family: "Arial", sans-serif;
	background-color:#ff4444;
}

.version-v1 {
	font-family: "Arial", sans-serif;
	background-color:#ff4444;
}

.header-v1-rm {
	font-family: "Arial", sans-serif;
	background-color:#ff4444;
	font-weight: bold;
}

.header-v1 {
	font-family: "Arial", sans-serif;
	background-color:#ff4444;
	font-weight: bold;
}

.version-Prel {
	font-family: "Arial", sans-serif;
	background-color:silver;
}

.header-Prel {
	font-family: "Arial", sans-serif;
	background-color:silver;
	font-weight: bold;
}

.version-deprecated {
	font-family: "Arial", sans-serif;
	background-color:#eebb33;
}

.header-deprecated {
	font-family: "Arial", sans-serif;
	background-color:#eebb33;
	font-weight: bold;
}

/*
 * this would be nice, but no browser supports it!
 *div.c-code {
 *	font-family: monospace;
 *	white-space: pre;
 *}
*/