/* Note to me (so you can ignore this). Remember to update the source file when changing this one!!*/

.hidden_closed_section{
}

.hidden_open_section{
}

.hidden_title {
	color		: #000000;
	cursor		: pointer;
	cursor		: hand;
	margin-bottom	: 9px;
}

.figure a:visited {
	color: #333;
	}

.figure a {
	text-decoration: none;
	}

.figure a:hover {
	color: #06c;
	text-decoration: none;
	}
	
.jtags_box, .callout, .figure, .related {
	text-align		: justify;
	background-color	: #f8f8f8;
	border-top		: 1px solid #ddd;
	border-bottom		: 1px solid #ddd;
	padding			: 6px;
}


.related {
	font-size 	: .9em; 
}

.related_header {
	position	: relative; 
	background	: #dddddd;
	color		: black;
	font-weight	: bold;
}

.figure {
	font-weight		: bold;
}

.figure_text {
}

.figure img{
	margin-left		: auto;
	margin-right		: auto;
	display			: block;
}

.callout {
	font-family		: arial;
	color			: #000094;
	font-size		: 1.1em;
	font-weight		: bold;
	font-style		: italic;
}

#jtagsPopBox {
	z-index			: 1000;	/* keep in front */
	position		: absolute;
	display			: none;
}

/****************************
Definition stuff
*****************************/

.definition_text {
	color			: black;
	text-align		: justify;
}

/* A box to hold definition text. Easier to transfer a definition from a hidden box to another */
.definition_holder {
	display			: none;
}


