<style type="text/css">

body {background-color: #ffffff;}

h1 h2 h3 h4 h5 h6 {
	page-break-after: avoid;
	page-break-inside: avoid;
}

pre, tt a, p > tt, li > tt, th > tt, td > tt, b > tt, 
h1 > tt, h2 > tt, h3 > tt, h4 > tt, h5 > tt, h6 > tt {
	background-color: #eeeeee;
	color: #000000;
}

pre {
	display: inline-block;
	white-space: pre;
	border-style: solid;
	border-color: #cccccc;
	border-width: 1px;
	padding: 4px;
	width: auto;
	tab-interval: 4em;
	-moz-tab-size: 4;
	-o-tab-size: 4;
}

/* Alpha X colouring; except that blue altered to prevent being confused with links */
.comment {color: #ff0000;}
.operator {color: #000099;}
.nametype {color: #ae06c8;}
.array {color: #048320;}

.TextAside {
	border-style: solid;
	border-color: #009900;
	border-width: 3px;
	padding: 2px;
	margin: 4px;
}

.BorderGraphic img {
	border-style: solid;
	border-color: #009900;
	border-width: 1px;
	padding: 2px;
	width: auto;
	height: auto;
	border-collapse: collapse;
}

.num, .den {font-size: 60%;}
.num {vertical-align: text-top;}
.den {vertical-align: baseline;}

.PseudoLink {text-decoration: underline;}

.PermittedPackingStyles {
	font-size: xx-small;
	text-align: center;
	display: inline-block;
	border-collapse: collapse;
	border-style: solid;
	border-width: 1px;
	border-color: #009900;
}

table.TableParameterSpecification {
	border-collapse: collapse; 
	position: center; 
	margin-left: auto; 
	margin-right: auto;
}
table.TableParameterSpecification td, table.TableParameterSpecification th {
	text-align: right; 
	border: solid 1px;
	border-color: #99CC99;
	padding: 0.1em 0.25em;
}
table.TableParameterSpecification tr > td:first-child, table.TableParameterSpecification tr > th:first-child {text-align: left;}
table.TableParameterSpecification tr > th:last-child {text-align: center;}
table.TableParameterSpecification td.Shrunk {text-align: justify; font-size: small;}

table.arrays {
	border-collapse: collapse; 
	position: center; 
	margin-left: auto; 
	margin-right: auto;
}

table.arrays td, table.arrays th {
	border: solid 1px;
	border-color: #99CC99;
	padding: 0.1em 0.25em;
}

table.arrays tr > td:first-child, table.arrays tr > th:first-child {
	border-right: solid 3px;
	border-right-color: #99CC99;
}

table.arrays tr:first-child {
	border-bottom: solid 3px;
	border-bottom-color: #99CC99;
}

</style>

