Add all favicons plus fix script whee

Author: socksy

devenv.nix

@@ -11,6 +11,8 @@
   packages = [
     pkgs.git
     pkgs.zola
+    pkgs.imagemagick
+    pkgs.inkscape
   ];
 
   processes = {

scripts/favicon.ronin.lisp

@@ -1,5 +1,9 @@
-(clear)
-(resize 600 600)
-(fill (rect 10 10 300 600) "grey")
-(fill (circle 295 295 150) "black")
-(stroke (rect 1 1 599 599) "black" 100)
+(clear) 
+(resize 600 600) 
+(fill 
+  (rect 0 0 300 600) 
+  "#495057")
+(fill 
+  (circle 300 300 150) "black") 
+(stroke 
+  (rect 0 0 600 600) "black" 100)

scripts/gen_favicon.sh

@@ -1,3 +1,4 @@
 #!/usr/bin/env bash
 cd "$(dirname "${BASH_SOURCE[0]}")/.." 
-magick mogrify -format ico -density 600 -define icon:auto-resize=128,48,32,16 static/favicon.png
+inkscape --export-type=png --export-dpi=200 --export-background-opacity 0 -w 128 -h 128 static/favicon.svg && \
+magick -define icon:auto-resize=128,48,32,16 static/favicon.png static/favicon.ico