7 Commits

Author	SHA1	Message	Date
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
Phil Scott	2a9fbb1ee9	New doc theme (#387)	2021-04-24 22:20:59 +02:00
Patrik Svensson	17ee8990f4	Update example image	2021-02-15 13:01:30 +01:00
Patrik Svensson	10daf727e9	Fix outdated documentation	2020-10-26 12:20:17 +01:00
Patrik Svensson	3941fd81ab	Move table and calendar docs	2020-10-20 02:32:04 +02:00
Patrik Svensson	5d32764a64	Fix typo: SRG -> SGR	2020-09-02 09:02:59 +02:00
Dave Glick	caf7661e66	Moves all the pages up a level and hardcodes the section name	2020-09-01 21:23:01 +02:00