website: some UI updates to the lab

2019-05-27 14:19:08 -07:00 · 2019-05-27 14:19:08 -07:00 · 727977bd4e
commit 727977bd4e
parent e32aae98d3
22 changed files with 305 additions and 98 deletions
--- a/docs/_scripts/optimize-resources.sh
+++ b/docs/_scripts/optimize-resources.sh
@ -32,6 +32,11 @@ for f in *.svg; do
  svgo --multipass -q "$f" &
 done

+# crunch /docs/res/icons/*.svg
+for f in icons/*.svg; do
+  svgo --multipass -q "$f" &
+done
+
 # crunch /docs/res/*.png
 for f in *.png; do
  TMPNAME=.$f.tmp