[mkfavicons.sh,static/*] Update favicons, add favicon generator script

themes/doublefourteen/mkfavicons.sh

@@ -0,0 +1,25 @@
+#!/bin/sh
+
+for i in 152 144 120 114 180; do
+  rsvg-convert -f png -w $i -h $i "static/favicon.svg" > "static/favicon-$i-precomposed.png"
+  pngcrush -reduce -brute -ow "static/favicon-$i-precomposed.png"
+done
+for i in 57 32; do
+  rsvg-convert -f png -w $i -h $i "static/favicon.svg" > "static/favicon-$i.png"
+  pngcrush -reduce -brute -ow "static/favicon-$i.png"
+done
+
+convert "static/favicon.svg" -bordercolor white -border 0 \
+  \( -clone 0 -resize 16x16 \) \
+  \( -clone 0 -resize 32x32 \) \
+  \( -clone 0 -resize 48x48 \) \
+  \( -clone 0 -resize 57x57 \) \
+  \( -clone 0 -resize 64x64 \) \
+  \( -clone 0 -resize 72x72 \) \
+  \( -clone 0 -resize 110x110 \) \
+  \( -clone 0 -resize 114x114 \) \
+  \( -clone 0 -resize 120x120 \) \
+  \( -clone 0 -resize 128x128 \) \
+  \( -clone 0 -resize 144x144 \) \
+  \( -clone 0 -resize 152x152 \) \
+  -delete 0 -alpha off -colors 256 "static/favicon.ico"