article header section#times {
	font-family: monospace;
}

@media (max-width: 849px) {
	article {
	}

	article main {
	}
	article header {
		margin-bottom: 1rem;
	}
	article header h1 {
		margin: 0;
		border-bottom: solid 1px;
	}

	#TableOfContents {
		display: none;
	}
}
@media (min-width: 850px) {
	article {
		display: grid;
		grid-column: 1 / -1;
		grid-row 2 / -1;
		grid-template-columns: subgrid;
		grid-template-rows: subgrid;
	}

	article main {
		grid-area: main;
	}
	article header {
		grid-area: side;
		margin-left: 1rem;
	}
	article header h1 {
		margin: 0 0 0.7rem 0;
		border-bottom: unset;
	}
	article header section#times {
		position: fixed;
		bottom: 0;
	}
}

@media (min-width: 1100px) {

}