@charset "utf-8";
/* Used in the glossary page */

.glossarycontents {
	display:none;
}
.glossarycontents a {
	border: 1px solid #630;
	padding: 2px 5px;
	font-weight: bold;
}

.tab-glossary {
	border: .5pt solid #000;
	margin-top: 15px;
	width: 100%;
}
.tab-glossary td {
	border: .5pt solid #000;
	vertical-align: top;
	padding: .2em;
}
.tab-glossary caption {
	font-weight: bold;
	text-align: left;
	font-size: 120%;
	padding-left: 1em;
}