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

Jacky Zhao

2023-08-09 e4950e06a15e34134b9feb064749748080bd59a1

 quartz/components/styles/search.scss

@@ -48,7 +48,6 @@
    overflow-y: auto;
    display: none;
    backdrop-filter: blur(4px);
    -webkit-backdrop-filter: blur(4px);

    &.active {
      display: inline-block;