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

Jacky Zhao

2023-08-09 e4950e06a15e34134b9feb064749748080bd59a1

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
footer {
  text-align: left;
  margin-bottom: 4rem;
  opacity: 0.7;
 
  & ul {
    list-style: none;
    margin: 0;
    padding: 0;
    display: flex;
    flex-direction: row;
    gap: 1rem;
    margin-top: -1rem;
  }
}