Phil Scott 9a68b27b31 Shrinks PNGs and converts large gif to webm ...

PNGs were ran through TinyPng. Table.gif was weighing in at over 1.7mb
on my machine. Converted to webm and it's down to 80kb which is pretty
nice for something on the home page. Other gifs didn't have that much of
an improvement so I just left them as GIFs.

2021-04-25 02:52:36 +02:00

..

favicons

New doc theme (#387)

2021-04-24 22:20:59 +02:00

images

Shrinks PNGs and converts large gif to webm

2021-04-25 02:52:36 +02:00

logo.svg

Add initial docs

2020-08-27 15:12:03 +02:00

styles.css

New doc theme (#387)

2021-04-24 22:20:59 +02:00