fix shortest path for non-md files, mobile fix

Jacky Zhao

2023-08-07 d8d9dd22c9e81f344f3ab56f7262d804c2720fcd

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