From 4f6a629ba0791b749f3eefebed481749ad2fa4e1 Mon Sep 17 00:00:00 2001 From: Daniel Smith Date: Sat, 18 May 2019 18:34:18 -0400 Subject: Resize text images for preferred on-screen size --- resources/quantifier/0.png | Bin 506 -> 2567 bytes resources/quantifier/1.png | Bin 2008 -> 1571 bytes resources/quantifier/2.png | Bin 456 -> 2851 bytes resources/quantifier/3.png | Bin 418 -> 2536 bytes resources/quantifier/4.png | Bin 291 -> 2242 bytes resources/quantifier/5.png | Bin 391 -> 2524 bytes resources/quantifier/6.png | Bin 531 -> 3167 bytes resources/quantifier/7.png | Bin 215 -> 3231 bytes resources/quantifier/8.png | Bin 523 -> 3109 bytes resources/quantifier/9.png | Bin 537 -> 3118 bytes resources/quantifier/fri.png | Bin 3547 -> 3355 bytes resources/quantifier/mon.png | Bin 755 -> 3395 bytes resources/quantifier/sat.png | Bin 4152 -> 3726 bytes resources/quantifier/sun.png | Bin 4386 -> 3440 bytes resources/quantifier/thu.png | Bin 2905 -> 2628 bytes resources/quantifier/tue.png | Bin 3665 -> 2854 bytes resources/quantifier/wed.png | Bin 815 -> 3577 bytes 17 files changed, 0 insertions(+), 0 deletions(-) (limited to 'resources/quantifier') diff --git a/resources/quantifier/0.png b/resources/quantifier/0.png index 519fa91..6baccc1 100644 Binary files a/resources/quantifier/0.png and b/resources/quantifier/0.png differ diff --git a/resources/quantifier/1.png b/resources/quantifier/1.png index cd072cf..b5e5ffa 100644 Binary files a/resources/quantifier/1.png and b/resources/quantifier/1.png differ diff --git a/resources/quantifier/2.png b/resources/quantifier/2.png index 0dac9e1..b89bc41 100644 Binary files a/resources/quantifier/2.png and b/resources/quantifier/2.png differ diff --git a/resources/quantifier/3.png b/resources/quantifier/3.png index 8440537..71716bc 100644 Binary files a/resources/quantifier/3.png and b/resources/quantifier/3.png differ diff --git a/resources/quantifier/4.png b/resources/quantifier/4.png index 0968921..e5f2580 100644 Binary files a/resources/quantifier/4.png and b/resources/quantifier/4.png differ diff --git a/resources/quantifier/5.png b/resources/quantifier/5.png index d0bfe7d..93e066b 100644 Binary files a/resources/quantifier/5.png and b/resources/quantifier/5.png differ diff --git a/resources/quantifier/6.png b/resources/quantifier/6.png index 413d6fe..7c359b5 100644 Binary files a/resources/quantifier/6.png and b/resources/quantifier/6.png differ diff --git a/resources/quantifier/7.png b/resources/quantifier/7.png index 7d0ec4d..88ed442 100644 Binary files a/resources/quantifier/7.png and b/resources/quantifier/7.png differ diff --git a/resources/quantifier/8.png b/resources/quantifier/8.png index afc1f42..18f5ab1 100644 Binary files a/resources/quantifier/8.png and b/resources/quantifier/8.png differ diff --git a/resources/quantifier/9.png b/resources/quantifier/9.png index d4f1aa1..ada47a9 100644 Binary files a/resources/quantifier/9.png and b/resources/quantifier/9.png differ diff --git a/resources/quantifier/fri.png b/resources/quantifier/fri.png index 72747ac..2fb32a3 100644 Binary files a/resources/quantifier/fri.png and b/resources/quantifier/fri.png differ diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png index c86e423..35efabc 100644 Binary files a/resources/quantifier/mon.png and b/resources/quantifier/mon.png differ diff --git a/resources/quantifier/sat.png b/resources/quantifier/sat.png index 870d692..568bd84 100644 Binary files a/resources/quantifier/sat.png and b/resources/quantifier/sat.png differ diff --git a/resources/quantifier/sun.png b/resources/quantifier/sun.png index 7981730..24f3b1c 100644 Binary files a/resources/quantifier/sun.png and b/resources/quantifier/sun.png differ diff --git a/resources/quantifier/thu.png b/resources/quantifier/thu.png index 32bc6be..7816d07 100644 Binary files a/resources/quantifier/thu.png and b/resources/quantifier/thu.png differ diff --git a/resources/quantifier/tue.png b/resources/quantifier/tue.png index f527d0f..bde6f7c 100644 Binary files a/resources/quantifier/tue.png and b/resources/quantifier/tue.png differ diff --git a/resources/quantifier/wed.png b/resources/quantifier/wed.png index 2860182..4d89518 100644 Binary files a/resources/quantifier/wed.png and b/resources/quantifier/wed.png differ -- cgit v1.2.3