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

.hidden_closed_section, .hidden_open_section{
	padding			: 10px;
}


.hidden_closed_section{
}

.hidden_open_section{
}

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

.figure a:visited {
	}

.figure a {
	text-decoration: none;
	}

.figure a:hover {
	text-decoration: none;
	}
	
.jtags_box, .callout, .figure, .related {
	border			: 1px solid #0E00CF;
	background		: #04012E;
	text-align		: justify;
	padding			: 6px;
}


.related {
	font-size 	: 10pt; 
}

.related_header {
	background	: #2E2E96;
	color		: white;
	font-weight	: bold;
}

.figure {
}

.figure_text {
	font-weight		: normal;
	color			: yellow;
}

.figure img{
	margin-left		: auto;
	margin-right		: auto;
	display			: block;
	border			: 1px solid #0E00CF;
}

.callout {
	font-family		: arial;
	color			: yellow;
	font-size		: 11pt;
	font-weight		: bold;
	padding			: 10px;
}

#jtagsPopBox {
	width			: 370px;
	z-index			: 1000;	/* keep in front */
	position		: absolute;
	display			: none;
	background		: none;
	border			: none;
	text-align		: left;
}

#jtagsPopContent {
	width			: 360px;
}

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

.definition_text {
	color			: #00ff00;
	text-align		: justify;
	margin			: 10px;
	font-size		: 10pt;
}

.definition_text p {
	text-indent		: 0px;
	padding-left		: 0px;
}

.def_link:link {
	color			: #F5BA08;
}
.def_link:visited {
	color			: #D7A81C;
}

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

.enlarge_image_button {
	background		: url('images/enlarge_image.gif');
	width			: 34px;
	height			: 32px;
	position		: absolute;
	display			: none;
}

.link_image_button {
	background		: url('images/link_image.gif');
	width			: 34px;
	height			: 32px;
	position		: absolute;
	display			: none;
}