From 9309e478e21101076129c8f647f7ff5c94d029d0 Mon Sep 17 00:00:00 2001 From: Francis Lavoie Date: Sat, 28 Mar 2020 16:22:58 -0400 Subject: [PATCH] Add some spacing between theme toggles Because the dark-mode widget uses shadow-dom, I'm using   to space them. Easier than trying to set margins to contents of the shadow DOM (would need to use some JS) --- src/includes/docs-nav.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/includes/docs-nav.html b/src/includes/docs-nav.html index 5c81e1e..d0d7ed9 100644 --- a/src/includes/docs-nav.html +++ b/src/includes/docs-nav.html @@ -47,7 +47,7 @@