fix(explorer): filter function in `ExplorerNode`

Ben Schlegel

2023-09-17 94a04ab1c9fd099c808f3f4e6633722e0d13ac85

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