.container {
	min-width: 900px;
	max-width: 1000px;
}

h1 {
	text-align: left;
}

td {
	padding: 5px 10px;
	vertical-align: top;
	border: 1px solid lightgrey;
	/* font-size: 0.9em; */
}

tr {
	border: 1px solid lightgrey;
	padding: 10px;
}

.terminal-window {
	background-color: #eee;
	border: 1px solid #555;
	/* background-color: #f6f6ff; */
	/* border: 1px solid #a08fff; */
	border-radius: 0px;
	font-size: 16px;
	padding: 5px 7px;
}

tt { 
	font-size: 1em;
}

code {
	font-size: 0.9em;
}