fix: be more eager about constructing search index

Jacky Zhao

2024-02-02 0416c03ae646acf72422fe615445d07a327cc580

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