/* HPCC site specific styles */

/* Reasonable default settings for our glue_body div */
div.glue_body {
	margin-left: 60px;
	font-size: 90%;
	line-height: 1.1;
}

/* Restore default-ish style for ol, ul in glue_body */
div.glue_body ol {
	display: block;
	margin-left: 15px;
	list-style: decimal;
	margin-top: 1em;
	margin-bottom: 1em;
}
	
div.glue_body ol ol {
	display: block;
	margin-left: 15px;
	list-style: upper-latin;
	margin-top: 1em;
	margin-bottom: 1em;
}
	
div.glue_body ol ol ol {
	display: block;
	margin-left: 15px;
	list-style: lower-roman;
	margin-top: 1em;
	margin-bottom: 1em;
}
	
div.glue_body ol ol ol ol {
	display: block;
	margin-left: 15px;
	list-style: lower-latin;
	margin-top: 1em;
	margin-bottom: 1em;
}
	
div.glue_body ul {
	display: block;
	margin-left: 15px;
	list-style: disc;
	margin-top: 1em;
	margin-bottom: 1em;
}

div.glue_body ul ul {
	display: block;
	margin-left: 15px;
	list-style: square;
	margin-top: 1em;
	margin-bottom: 1em;
}

div.glue_body ul ul ul {
	display: block;
	margin-left: 15px;
	list-style: circle;
	margin-top: 1em;
	margin-bottom: 1em;
}

div.glue_body li {
	margin-top: 1em;
	margin-bottom: 1em;
}


/* Add some vertical space before/after headers */
div.glue h1,h2,h3,h4 {
	margin-bottom: 1em;
	margin-top: 1em;
}
/* Fix header sizes */
div.glue h1 {
	font-size: 2.75rem;
}
div.glue h2 {
	font-size: 2.75rem;
}
div.glue h3 {
	font-size: 2rem;
}
div.glue h4 {
	font-size: 1.5rem;
}

/* Make nice nested ordered lists for ToCs */
/* Outermost: capital roman
	capital letters
		numbers
			lowercase roman
				lowercase letters
*/
ol.toc ol.toc ol.toc ol.toc ol.toc {
	list-style-type: lower-latin;
}

ol.toc ol.toc ol.toc ol.toc {
	list-style-type: lower-roman;
}

ol.toc ol.toc ol.toc {
	list-style-type: decimal;
}

ol.toc ol.toc {
	list-style-type: upper-latin;
}

ol.toc {
	display: block;
	list-style-type: upper-roman;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 15px;
	margin-right: 0;
	padding-left: 40px;
}

/* Make nice nested unordered lists for ToCs */
ul.toc {
	display: block;
	margin-left: 15px;
	margin-top: 1em;
	margin-bottom: 1em;
	list-style: disc;
}

.toc ul.toc {
	margin-left: 15px;
	list-style: square;
	margin-top: 1em;
	margin-bottom: 1em;
}


/* Make a normal ordered list */
ol.normal {
	display: block;
	margin-left: 15px;
	list-style: decimal;
	margin-top: 1em;
	margin-bottom: 1em;
}
	
/* Make a normal unordered list */
ul.normal {
	display: block;
	margin-left: 15px;
	list-style: disc;
	margin-top: 1em;
	margin-bottom: 1em;
}

ul.normal,ol.normal li {
	margin-top: 1em;
	margin-bottom: 1em;
}

/* Vertically compressed unordered list for long nav_menu items */
ul.vcompress {
	margin-top: 0;
	margin-bottom: 0;
	padding-top: 0;
	padding-bottom: 0;
}

.vcompress li {
	margin-top: 0;
	margin-bottom: 0;
	padding-top: 0;
	padding-bottom: 0;
}

	
/* Make application request samples look nice */
div.appreq_sample {
	padding-bottom: 3em;
}
th.appreq_sample {
	padding-right: 15px;
}

/* Make ol without numbers */
ol.numberless {
	list-style-type: none;
	margin: 0;
	padding: 0;
}

/* Make ol for publication lists */
ol.publication_list {
	list-style-type: none;
	margin-left: 0;
	padding-left: 0;
}
ol.publication_list li {
	margin-bottom: 1em;
}

caption.hpcc_caption {
	background-color: lightgrey;
	color: blue;
}