index.css

html {
	padding: 0;
	margin: 0;
}

body {
	font-family: Helvetica;
	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;
}

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;


}

#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;
}

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

#text_input {
	width: 80%;
	font-size: 18px;
	margin-bottom: 20px;
}

#error,
#empty {
	color: #888;
	font-size: 18px;
	margin: 0 0 0 80px;
	line-height: 30px;
}

#error .description {
	font-size: 16px;
	margin-top: 10px;
}

#submit_row {
	line-height: 32px;
}

#submit_row * {
	float: left;
	margin-right: 20px;
	font-size: 18px;
}

label {
	display: block;
	padding-bottom: 2ex;
}

button {
	height: 30px;
	width: 64px;
	background: #bbb;
	border-radius: 6px;
	outline: none;
	border: none;
}

#submit:hover {
	background-position: 0 -34px;
}

#submit:active {
	background-position: 0 -68px;
}

#date_wrapper {
	clear: both;
	padding-top: 20px;
}

#date {
	background-color: #FFFFCC;
}

#summary {
	clear: both;
	padding-top: 20px;
}

#structure .index {
	border: 1px solid #aaa;
	padding: 5px 5px 0 5px;
	margin-right: 5px;
	font-size: 20px;
	float: left;
	font-weight: bold;
}

#structure .index.imaginary {
	border: none;
}

#structure .index .name {
	padding: 5px 0;
	font-size: 12px;
	font-weight: normal;
	clear: both;
}

#ast {
	clear: both;
	padding-top: 20px;
	color: #222;
}

#ast #ast_details .token {
	margin-top: 5px;
}

#ast #ast_details .spacing {
	color: #aaa;
	font-weight: normal;
}

#ast #ast_details .root {
	font-weight: bold;
}


#results {
	clear: both;
	padding-top: 20px;
}

.highlight {
	background-color: #FFFFCC;
	font-weight: bold;
}

#result_list {
	list-style-type: none;
	margin: 0 0 40px 0;
	padding: 0;
}

#result_list li {
	margin-bottom: 10px;
}

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;
	}

	img#ast_diagram {
		width: 90vw;
		max-width: 800px;
		margin: 0 0 0 0 !important;
	}
}