| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | _headers | 2838 | logplain |
| -rw-r--r-- | android-chrome-192x192.png | 1592 | logplain |
| -rw-r--r-- | android-chrome-512x512.png | 3885 | logplain |
| -rw-r--r-- | apple-touch-icon.png | 1537 | logplain |
| -rw-r--r-- | banner.png | 4536 | logplain |
| -rw-r--r-- | browserconfig.xml | 246 | logplain |
| -rw-r--r-- | favicon-16x16.png | 366 | logplain |
| -rw-r--r-- | favicon-32x32.png | 395 | logplain |
| -rw-r--r-- | favicon.ico | 1947 | logplain |
| -rw-r--r-- | favicon.svg | 381 | logplain |
| d--------- | fonts | 1306 | logplain |
| d--------- | js | 3407 | logplain |
| -rw-r--r-- | katex.min.css | 23112 | logplain |
| -rw-r--r-- | m1024.png | 5144 | logplain |
| -rw-r--r-- | m128.png | 811 | logplain |
| -rw-r--r-- | m192.png | 1085 | logplain |
| -rw-r--r-- | m384.png | 1752 | logplain |
| -rw-r--r-- | m48.png | 394 | logplain |
| -rw-r--r-- | m512.png | 2564 | logplain |
| -rw-r--r-- | m72.png | 519 | logplain |
| -rw-r--r-- | m96.png | 615 | logplain |
| -rw-r--r-- | manifest.json | 1974 | logplain |
| -rw-r--r-- | manifest.min.json | 1127 | logplain |
| -rw-r--r-- | mstile-150x150.png | 1200 | logplain |
| -rw-r--r-- | nojs.css | 17 | logplain |
| -rw-r--r-- | safari-pinned-tab.svg | 2801 | logplain |
| -rw-r--r-- | sw.js | 16191 | logplain |
| -rw-r--r-- | sw.min.js | 10369 | logplain |
