diff options
| author | Tor Andersson <tor@ccxvii.net> | 2021-07-22 12:22:07 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2021-07-25 14:04:02 +0200 |
| commit | 30537163ab5cf80500994bb1cad82b9c240eb9a2 (patch) | |
| tree | d86e789175802289408ea476e5b8d8a300fb2a1a | |
| parent | 0a31de8125b4050dca9d805423252738c14b982d (diff) | |
| download | server-30537163ab5cf80500994bb1cad82b9c240eb9a2.tar.gz | |
Add original size covers to tool directories.
| -rw-r--r-- | public/style.css | 2 | ||||
| -rw-r--r-- | tools/thumbnail.sh | 7 | ||||
| -rw-r--r-- | views/index.ejs | 2 |
3 files changed, 9 insertions, 2 deletions
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> |