fix: dont run explorer scripts on non-explorer pages (closes #596)

Jacky Zhao

2023-11-17 ea08c0511a084f9ed77d1503847f4834046e2695

1
2
3
4
5
6
$pageWidth: 750px;
$mobileBreakpoint: 600px;
$tabletBreakpoint: 1200px;
$sidePanelWidth: 380px;
$topSpacing: 6rem;
$fullPageWidth: $pageWidth + 2 * $sidePanelWidth;