Printing picker: quick-filter box for cards with many printings

Filters by set code, collector number, year, rarity, language and finish,
matching each word against the start of a field. Shown when a card has 7+
printings.

Closes #31

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

src/styles.css

@@ -3949,6 +3949,16 @@ button.pull-action {
 .printing-picker-backdrop {
   z-index: 500;
 }
+.printing-filter {
+  display: flex;
+  align-items: center;
+  gap: var(--space-3);
+  margin-bottom: var(--space-3);
+}
+.printing-filter input {
+  flex: 1;
+  min-width: 0;
+}
 .printing-grid {
   display: grid;
   grid-template-columns: repeat(auto-fill, minmax(min(130px, 40vw), 1fr));