Add original size covers to tool directories.

1 files changed, 1 insertions, 1 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; }