body {
	background-color: seashell;
	color: black;
	font-family: sans-serif;
	margin: 4em;
}
a {
	color: black;
	text-decoration: underline;
}
span.key {
	padding-left: 3px;
	padding-right: 3px;
	border: 1px solid saddlebrown;
	background-color: white;
	border-radius: 4px;
	font-size: 90%;
}
h2 {
	margin-top: 2em;
}
img.figure {
	width: 100%;
	border: 1px solid saddlebrown;
	display: block;
	margin-left: auto;
	margin-right: auto;
	margin-top: 1ex;
	margin-bottom: 1ex;
}
 .nav {
	width: 100%;
	margin-top: 2em;
	margin-bottom: 2em;
}
pre {
	font-family: monospace;
	padding: 1ex;
}
pre.wrap {
	border: 1px solid saddlebrown;
	border-radius: 10px;
	overflow-x: auto;
	white-space: pre-wrap;
	word-wrap: break-word;
}
table {
	width: 100%;
}
@media all and (max-width: 768px) {
	img.figure {
		width: 100%;  
	}
	body {
		margin: 1em;
	}
}
 .urls {
	border-top: 1px solid saddlebrown;
	margin-top: 3ex;
	margin-bottom: 1ex;
	padding-top: 1ex;
	padding-bottom: 1ex;
}
 .note {
	color: saddlebrown;
}