From 18bb63a9b9caef737b1ecf762d8620db2aee73cb Mon Sep 17 00:00:00 2001
From: Connor Burns <ctrekker4@gmail.com>
Date: Mon, 7 Mar 2022 14:21:51 -0700
Subject: [PATCH] Fix ToC hover styling issue (#201)

---
 src/TableOfContents.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/TableOfContents.jl b/src/TableOfContents.jl
index 32d2fb5e..b0674e96 100644
--- a/src/TableOfContents.jl
+++ b/src/TableOfContents.jl
@@ -171,8 +171,8 @@ const toc_css = """
 @media (prefers-color-scheme: dark) {
 	.plutoui-toc {
 		--main-bg-color: hsl(0deg 0% 21%);
-		--pluto-output-color: hsl(0, 0%, 90%)
-		--pluto-output-h-color: hsl(0, 0%, 97%)
+		--pluto-output-color: hsl(0, 0%, 90%);
+		--pluto-output-h-color: hsl(0, 0%, 97%);
 	}
 }