From 30537163ab5cf80500994bb1cad82b9c240eb9a2 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Thu, 22 Jul 2021 12:22:07 +0200
Subject: Add original size covers to tool directories.

---
 public/style.css   | 2 +-
 tools/thumbnail.sh | 7 +++++++
 views/index.ejs    | 2 +-
 3 files changed, 9 insertions(+), 2 deletions(-)
 create mode 100644 tools/thumbnail.sh

diff --git a/public/style.css b/public/style.css
index d5c4230..44f6185 100644
--- a/public/style.css
+++ b/public/style.css
@@ -28,7 +28,7 @@ table.wide { min-width: 50rem; }
 .error { color: brown; font-style: italic; white-space: pre-wrap; }
 .warning { color: brown; }
 .warning::before { content: "\26a0"; }
-.logo { float: left; margin: 0 20px 5px 0; box-shadow: 2px 2px 4px 0px rgba(0,0,0,0.5); height: 150px; }
+.logo { float: left; margin: 0 20px 5px 0; box-shadow: 2px 2px 4px 0px rgba(0,0,0,0.5); height: 200px; }
 table { border-collapse: collapse; }
 th { text-align: left; background-color: gainsboro; }
 th, td { border: 1px solid black; }
diff --git a/tools/thumbnail.sh b/tools/thumbnail.sh
new file mode 100644
index 0000000..e4a10ee
--- /dev/null
+++ b/tools/thumbnail.sh
@@ -0,0 +1,7 @@
+mogrify -resize 300x300 -format ppm */cover.jpg
+for F in tools/*/cover.jpg
+do
+	OUT=public/*$(dirname $F | sed 's,tools/,,;s/-.*//')*
+	echo Thumbnail $OUT/cover.jpg $F
+	djpeg $F | pnmscale -xysize 400 400 | mozjpeg -q 90 > $OUT/cover.jpg
+done
diff --git a/views/index.ejs b/views/index.ejs
index f204f59..e1f8483 100644
--- a/views/index.ejs
+++ b/views/index.ejs
@@ -2,7 +2,7 @@
 <style>
 .list { display: flex; flex-wrap: wrap; justify-content: left; }
 .list a { margin: 1em; display: block; }
-.list img { box-shadow: 2px 2px 4px 0px rgba(0,0,0,0.5); height: 150px; }
+.list img { box-shadow: 2px 2px 4px 0px rgba(0,0,0,0.5); height: 200px; }
 </style>
 
 <p>
-- 
cgit v1.2.3