@font-face {
    font-family: 'Charter';
    src: url('/fonts/CharterR.woff');
}
@font-face {
    font-family: 'Charter';
    src: url('/fonts/CharterB.woff');
    font-weight: bold;
}
@font-face {
    font-family: 'Charter';
    src: url('/fonts/CharterI.woff');
    font-style: italic;
}

@font-face {
    font-family: 'Inconsolata';
    src: url('/fonts/Inconsolata.woff');
}

* {
	margin: 0;
	padding: 0;
	hyphens: never;
}

body {
	font-size: 120%;
	background-color: #073642;
	color: #93a1a1;
}

body.document {
	font-family: "Inconsolata";
	font-size: 100%;
	font-variant-ligatures: none;
	background-color: white;
	color: black;
	padding: 2ex;
	text-align: left;
}

header, footer {
	font-family: "Inconsolata";
}

th {
	text-align: left;
}

td,th {
	padding: 1ex;
	vertical-align: top;
}

footer a {
	text-decoration: underline;
	color: inherit;
}

header > div, footer > div {
	padding: 2vmin;
}

header a {
	color: inherit;
	text-decoration: none;
}

header h1, header p {
	font-size: 6vmin;
	margin: 0px;
	line-height: 1.1;
	font-weight: normal;
}

@media all and (max-width:800px) {
	header h1, header p {
		font-size: 200%
	}
}

header .key {
	color: #859900;
}

header .delim {
	color: #b58900;
}

main {
	width: 100%;
	font-family: Charter;
	color: #001622;
}

/* Full-width wrapper for the article.
 * This should be the only thing that scrolls
 * horizontally.
 */
.wrap {
	width: 100%;
	overflow-x: auto;
	background-color: #ededed;
	padding-top: 4ex;
}

main a {
	font-weight: bold;
}

article, #bottomnav {
	padding: 0.5em;
	max-width: 33em;
	margin-left:auto;
	margin-right:auto;
	overflow: visible;
}

.document main {
	margin-top: 2ex;
	font-size: 120%;
	line-height: 2.2ex;
	font-family: Inconsolata, "Courier New", fixed;
}

.document article {
	max-width: 55rem;
}

.document h1 {
	text-align: left;
	margin-bottom: 1ex;
}

.document h3 {
	text-align: left;
	margin-bottom: 1ex;	
	margin-top: 4ex;
	font-weight: bold;
}

.document pre {
	margin-left: 2em;
	line-height: 120%;
}

h1 {
	display: block;
	font-size: 190%;
	line-height: 1.1;
	margin-top: 3rem;
	margin-bottom: 3rem;
	padding-top: 0.02em;
	font-weight: normal;
}

main h1 {
	font-family: Inconsolata;
	font-size: 190%;
	line-height: 1.1;
	margin: 0px;
}

main h2, main h3 {
	font-family: Inconsolata;
	font-weight: normal;
}

main h2 {
	margin-top: 2ex;
	font-size: 145%;
}

h1 a {
	color: inherit;
	font-weight: normal;
}

main .date {
	font-family: Inconsolata;
	margin-top: 0px;
}

.aside {
	font-family: "Inconsolata";
	line-height: 1.20;
	color: #586e75;
	display: block;
	float: left;
	position: relative;
	margin-left: -12rem;
	left:  0rem;
	width: 10rem;
	text-align: right;
	clear:both;
}

.aside a {
	font-weight: normal;
}

.aside cite {
	font-style: normal;
	text-decoration: underline;
}

li .aside {
	left: -2.5rem;
}

@media all and (max-width:1000px) {
    	.aside {
    		display: block;
    		text-align: left;
		float: inherit;
		position: inherit;
		width: 100%;
        	padding: 0.5rem;
        	width: 90%;
        	border: 1px solid #586e75;
		margin-left: 0px;
		margin-bottom: 1.5ex;
	}
	body > div {
		padding: 1.3rem;
	}
}

p, li {
	margin-bottom: 1em;
	line-height: 1.55;
}

blockquote {
	display: block;
	margin-bottom: 1em;
	margin-left: 2.5rem;
	margin-right: 2.5rem;
}

ul, ol {
	display: block;
	margin-bottom: 1rem;
	margin-left: 2.5rem;
}

dt {
	float: left;
	clear: left;
	font-weight: bold;
	margin-right: 1em;
}

dd {
	margin-left: 0px;
	margin-bottom: 1ex;
	max-width: 23em;
}

img {
	width: 100%;
}

svg {
	width: 100%;
	overflow: visible;
}

svg text {
	line-height: 100%;
	white-space: pre;
	font-family: monospace;
	font-size: 8px;
	fill: #666;
	user-select:none;
	-webkit-user-select:none;
	-khtml-user-select:none;
	-moz-user-select:none;
	-ms-user-select:none;
}

img.rss {
	height: 1.5ex;
	width: 1.5ex;
}

img.twitter {
	height: 2.5ex;
	width: 2.5ex;
}

a {
	text-decoration: none;
	color: #444499;	
}

a:hover {
	text-decoration: underline;
}

code {
	margin-top: 2ex;
	margin-bottom: 2ex;
	font-family: Inconsolata;
	color: black;
}

p code {
        white-space:nowrap;
	color: black;

}

pre, tt, .tablewrap {
	width: 100%;
	font-family: Inconsolata;
	font-size: 106%;
	margin-bottom: 2ex;
	overflow-x: visible;
}

#bottomnav a {
	font-weight: normal;
}

#bottomnav {
	display: grid;
	grid-gap: 2ex;
	grid-template-columns: 50% 50%;
	font-family: Inconsolata;
	margin-top: 4ex;
	margin-bottom: 4ex;
}

@media all and (max-width:480px) {
	#bottomnav {
		display: block;
	}
	#previous {
		padding-bottom: 1.5ex;
	}
}

#previous, #next {
	display: grid;
}

.nobr {
	white-space:nowrap;
}

.trackinginfo {
	background-color: #268bd2;
	color: #001622;
}

.trackinginfo .delim {
	color: #001622;
}

.trackinginfo a {
	text-decoration: underline;
}

.warning {
	background-color: #cb4b16;
	color: #001622;
}

.warning .delim {
	color: #001622;
}

.warning a {
	background-color: #b58900;
}

.video-container {
	position: relative;
	padding-bottom: 56.25%;
	padding-top: 30px; height: 0; overflow: hidden;
}
 
.video-container iframe,
.video-container object,
.video-container embed {
	position: absolute;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
}

.ref table {
	line-height: 100%;
	font-size: 80%;
	margin-bottom: 2ex;
}

.ref th {
	vertical-align: bottom
}

.ref tbody tr:nth-child(odd){
	background-color: #ededed;
}

.ref table {
	padding: 2px;
	margin: 0px;
}

.fineprint p {
	font-size: 9pt;
	max-width: 35em;
}

section.ref {
	border: 1px solid green;
}

div.ref {
	border: 1px solid green;
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
	grid-gap: 1rem;
}

div.example {
	background-color: #ffffed;
	border: 1px dashed red;
	overflow: visible;
}

#top_links {
	top: 0;
	text-align: right;
	font-size: 75%;
}