/* Hidden: make text and background the same color, for when JavaScript is unavailable. */
.hide-box, .hide-hidden {
	color:#000000;
	background-color:#000000;
}

/* Visible */
.hide-visible {
	color:#000000;
	background-color:#FFFFFF;
	visibility:visible;
}

div.hide-visible {
	display:block;
}

/* Common */
div.hide {
	margin: 0.5em 1px 0 25px;
	border: 1px solid #A9B8C2;
}

div.hide-top {
	font-style: normal;
	font-weight: bold;
	font-size: 0.9em;
	padding: 0 4px;
	background-color: #A9B8C2;
}

div.hide-box {
	font-size: 0.95em;
}

span.hide-hidden, span.hide-visible {
	padding:0 2px;
}

div.hide-hidden, div.hide-visible {
	padding: 5px;
}

/* Nested hides */
div.hide div.hide {
	margin-left:15px;
}