html {
	padding: 0;
	margin: 0;
}

body {
	font-family: Helvetica, serif;
	padding: 0;
	margin: 0;
	color: #444;
}

h1,
h2 {
	font-size: 28px;
	font-weight: normal;
	color: #888;
}

h2 {
	font-size: 20px;
}

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

#output_table {
	width: 100%;
}
#output_table th, #output_table td {
	border-bottom: 1px solid #ccc;
	padding: 5px;
	text-align: left;
}
#nav {
	float: left;
	width: 180px;
	position: fixed;
	top: 0;
	left: 0;
	bottom: 0;
	border-right: 1px solid #888;
	background-color: #f4f9fd;
}

#nav ul {
	list-style-type: none;
	padding: 0;
	margin: 34px 0 0 0;
}

#nav ul li {
	border-bottom: 1px solid #ccc;
	text-align: right;
}

#nav ul li.first {
	border-top:1px solid #ccc;
}

#nav ul li.current a {
	background-color: #fff;
	color: #000;
}

#nav ul li a {
	display: block;
	padding: 10px 20px 10px 10px;
	text-decoration: none;
	color: #888;
	background-color: #fff;
}


code.block {
	display: block;
	margin: 10px 0 0 0;
	padding: 10px;
	border: 1px solid #aaa;
	overflow-x: auto;
}

#left_labels {
	position: fixed;
	top: 180px;
	left: 0;
	width: 160px;
	padding-right: 20px;
	text-align: right;
	color: #aaa;


}

#content {
	position: relative;
	padding: 20px 40px 40px 40px;
	margin: 0 0 0 180px;
	max-width: 800px;
	top: 0;
}



pre {
	margin-block: 0;
}

@media (max-width: 800px) {
	body {
		background-color: #f4f9fd;
		min-height: 100vh;
		height: 100%;
		display: flex;
		flex-direction: column;
	}

	#left_labels {
		display: none;
	}

	#nav {
		position: relative;
		background: transparent;
		float: none;
		left: unset;
		bottom: unset;
		width: 100vw;
		padding-left: 0px;
		border: none;
	}

	#nav ul {
		position: relative;
		margin-top: 3px;
		padding: 0;
		list-style: none;
		display: flex;
		flex-wrap: nowrap;
		gap: 3px;
		border-bottom: 1px solid #888 !important;
	}

	#nav ul li.first {
		border-top: 1px solid #ccc;
		margin-left: 10px !important;
	}

	#nav ul li {
		position: relative;
		display: inline-block;
		border: 1px solid #ccc;
		border-bottom: 1px solid #888;
		margin-bottom: -1px;
		overflow-x: hidden;
	}

	#nav ul li a {
		padding: 10px 10px 10px 10px;
		white-space: nowrap;
		overflow-x: hidden;
	}

	#nav ul li.current {
		border-bottom-color: white;
	}

	#content {
		position: relative;
		flex-grow: 1;
		background: white;
		margin: 0 0 0 0 !important;
	}

}