#toc-overlay {
	position: fixed;
	top: 15px;
	right: 15px;
	bottom: 50px;
	z-index: 1000;

	font-family: Menlo, monospace;
	font-size: 12px;
}

#toc-results {
	overflow: scroll;
	max-height: 100%;
	border: 1px solid lightgray;
}

div.toc-entry {
	cursor: hand;
}

.toc-entry {
	color: inherit;
	background: white;
}
.toc-entry:hover {
	background: rgb(92.5%, 92.5%, 92.5%);
}
.toc-highlighted, .toc-highlighted:hover, a.toc-highlighted:hover {
	color: white;
	background: rgb(21%, 45%, 84%);
}

#toc-overlay {
	position: fixed;
	top: 15px;
	right: 15px;
	bottom: 50px;
	z-index: 1000;
	pointer-events: none;

	font-family: Menlo, monospace;
	font-size: 12px;
}

#toc-results {
	overflow: scroll;
	max-height: 100%;
	border: 1px solid lightgray;
	pointer-events: initial;
}

div.toc-entry {
	cursor: hand;
}

.toc-entry {
	color: inherit;
	background: white;
}
.toc-entry:hover {
	background: rgb(92.5%, 92.5%, 92.5%);
}
.toc-highlighted, .toc-highlighted:hover, a.toc-highlighted:hover {
	color: white;
	background: rgb(21%, 45%, 84%);
}

Fix issue where invisible part of overlay blocked pointer events.
table-of-contents: Fix issue where invisible part of overlay blocked pointer events.
