various typography and styling fixes

Jacky Zhao

2023-07-23 27a5f7ef8ef0b52ade767138ebd1e202f8b66476

 .github/workflows/ci.yaml

@@ -30,6 +30,9 @@

      - run: npm ci

      - name: Check types and style
        run: npm run check

      - name: Test
        run: npm test