fix getFileExtension missing numeric extensions (e.g. mp4)

Jacky Zhao

2023-08-09 e4950e06a15e34134b9feb064749748080bd59a1

 quartz/styles/variables.scss

@@ -3,4 +3,4 @@
$tabletBreakpoint: 1200px;
$sidePanelWidth: 400px;
$topSpacing: 6rem;
$fullPageWidth: $pageWidth + 2 * $sidePanelWidth
$fullPageWidth: $pageWidth + 2 * $sidePanelWidth;