html, body {
	height: 100%;
}

body {
	background-color: gray;
	padding: 0;
	margin: 0;
	font-family: Arial, sans-serif;
}

#header, #logo {
	margin-top: 5px;
	margin-bottom: 10px;
	padding: 20px 0px 5px 0px;
	border-bottom: thin solid black;
	display: inline-block;
	background-color: #FFFFFF;
	padding: 1px;
	border: 1px solid #ccc;
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-radius: 5px;
}

#header a, #logo a {
	display: inline-block;
	border: 3px solid #0076c5;
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-radius: 5px;
	height: 100%;
	background-color: #f5f5f5;
}

#header img, #logo img {
	padding: 3px 4px 1px 3px;
}

#main, #footer {
	padding-left: 15px;
	padding-right: 15px;
	margin-left: auto;
	margin-right: auto;
	max-width: 900px;
	border-left: thin solid black;
	border-right: thin solid black;
	background-color: white;
}

#main {
	min-height: 100%;
}

#footer {
	position: relative;
	height: 38px;
	margin-top: -38px;
	font-size: 10pt;
	clear: both;
}

#footermsgs { margin-bottom: 4px; }

#content { padding-bottom: 38px; }
a img { border: none; }
img {
	border: none; 
	max-width: 100%; /* Downscale for mobile devices */
}
h2 {
	text-align: center;
	background-color: #ffffdf;
	color: #0074c2;
	border-top: 2px solid #0074c2;
	border-bottom: 2px solid #0074c2;
}
h3, h4 {
	background-color: #0074c2;
	color: white;
	border: 1px solid #0074c2;
	padding: 0 2px;
}
h3 a, h4 a {
	color: white;
}

.contents-div, .contents-list {
	padding-left: 5px;
	padding-right: 5px;
	border: 2px solid #AAA;
}
.contents-div, .contents-list {
	background-color: #ffffdf;
}
.contents-div a, .contents-list a {
	color: #0074c2;
	border-bottom-color: #0074c2;
}
.contents-list {
	padding-left: 30px;
	padding-right: 30px;
}

#div_valid_images {
	float: right;
}
.paddingone { padding-bottom: 1px; }
.italic { font-style: italic; }

table.tablesorter tr .header { cursor: pointer; }
table.tablesorter tr .headerSortDown, table.tablesorter tr .headerSortUp {
	background-color: #8dbdd8;
}

#sitemap a { text-decoration: none; }

.small { font-size: 11pt; }

.error, .fups_error { 
	border: 1px solid black;
	color: black;
	padding: 5px;
	background-color: red;
}

#div_status, #fups_div_status {
	border: thin solid black;
	background-color: gray;
	padding: 5px;
}

.aside {
	border: thin solid black;
	border-radius: 4px;
	background-color: #ffffdf;
	padding: 0 5px;
}


.aside_head, .aside p {
	margin: 6px auto;
}

.aside_head {
	font-weight: bold;
}

.term {
	border: thin solid #0074c2;
	border-radius: 4px;
	padding: 0 2px;
	background-color: yellow;
	color: #0074c2;
	font-style: italic;
	font-weight: bold;
}

.defined {
	border: thin solid #0074c2;
	border-radius: 4px;
	padding: 0 2px;
	background-color: #0074c2;
	color: yellow;
	font-style: italic;
	font-weight: bold;
}

.defined a {
	color: yellow;
	text-decoration: underline;
}

.conforming {
	border: thin dotted black;
	border-radius: 4px;
	padding: 0 2px;
	background-color: #c2ff90;
	font-style: italic;
	font-weight: bold;
}

.nonconforming {
	border: thin dotted black;
	border-radius: 4px;
	padding: 0 2px;
	background-color: #ffeb54;
	font-style: italic;
	font-weight: bold;
}

.listmin, .fups_listmin {
	margin-left: 0;
	padding-left: 0;
}

.listmin, .fups_listmin ul {
	margin-left: 1em;
	padding-left: 0;
}

.listmin, .fups_listmin li {
	list-style: none;
	font-size: small;
}

a {
	font-weight: bold;
	text-decoration: none;
	border-bottom: 1px dotted #005A9C;
}
a {
	color: #0074c2;
	border-bottom-color: #0074c2;
}
#div_valid_images a, .diagram a, .toc a, pre a, .footnote_fwd, .tablesorter a, .listmin a {
	border-bottom: none;
}

.anchor-link {
	border: none;
}

.li_space_vertically li {
	margin-top: 5px;
	margin-bottom: 15px;
}

.li_no_space_vertically li {
	margin: 0;
}

.li-small li {
	margin: 0;
	font-size: small;
}

.footnote {
	border-bottom: none;
	vertical-align: super;
	font-size: x-small;
}

.footnote_block {
	font-size: small;
	margin-left: 0;
	padding-left: 0;
}
.footnote_block li {
	list-style-type: none;
	list-style-image: none;
	margin-left: 0;
	padding-left: 0;
}

pre {
	border: thin solid black;
	background-color: #EEE;
	/* Wrap the contents of <pre> tags for smaller-width browsers. */
	white-space: pre-wrap;       /* CSS 3 */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
	white-space: -pre-wrap;      /* Opera 4-6 */
	white-space: -o-pre-wrap;    /* Opera 7 */
	word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

.qtip-content a {
	color: #00B;
}

.update_box, .highlighted-snippet {
	border: solid #0074c2 1px;
	background-color: yellow;
	color: #0074c2;
	border-radius: 4px;
	padding: 0 2px;
}

.update_box_intro_date {
	font-weight: bold;
}

code { background-color: #DFDFDF; }

#cc-licence { border-bottom: none; }

.nav-links-p-top, .nav-links-p-bottom {
	margin: auto;
	padding-left: 0;
	margin-bottom: 7px;
	text-align: center;
	position: relative;
}
.nav-links-p-top:after, .nav-links-p-bottom:after {
	content: '.';
	visibility: hidden;
	clear: both;
}
.nav-links-p-bottom {
	margin-top: 5px;
}
.next-link {
	float: right;
	margin-right: 30px;
}
.prev-link {
	float: left;
}
.toc-link {
	position: absolute;
 	margin-left: -30px;
}
.next-link, .prev-link, .toc-link {
	border: thin dotted black;
	border-radius: 4px;
	padding: 0 2px;
	background-color: #ffffdf;
}
.next-prev-link-wrapper {
	position: absolute;
	width: 100%;
}
.toc-link, .next-link, .prev-link {
	color: #0074c2;
}

.img-new {
	border: thin dotted black;
	border-radius: 4px;
	padding: 0 2px;
	background-color: #0D0;
}

blockquote {
	background-color: #ffffdf;
}

.quoted {
	background-color: #ffffdf;
}

.infobox {
	border: 2px solid #0074c2;
	border-radius: 4px;
	padding: 5px 8px;
	background-color: #ffffdf;
	color: #0074c2;
}

/* Remove page margins for smaller-width devices e.g. mobiles. Allow footer to resize gracefully; don't fix it to the bottom of the page. */
@media only screen and (max-width: 900px) {
	html, body {
		height: auto;
		background-color: white;
	}
	#main, #footer {
		margin-left: 0;
		margin-right: 0;
		padding-left: 3px;
		padding-right: 3px;
		border-left: none;
		border-right: none;
	}
}