Remove explicit size from filter checkboxes to match browser default

https://claude.ai/code/session_01VHEe12W2fkQZ7xneXy8Wry

Author: claude

Services/HtmlReport/diff_report.css

@@ -94,7 +94,7 @@
     }
     table.filter-table td { padding: 0.2rem 0.5rem; vertical-align: middle; background: #fff; }
     table.filter-table td.ft-cb { text-align: center; width: 1.8em; }
-    table.filter-table td.ft-cb input[type="checkbox"] { width: 13px; height: 13px; cursor: pointer; }
+    table.filter-table td.ft-cb input[type="checkbox"] { cursor: pointer; }
     table.filter-table td.ft-label { white-space: nowrap; }
     table.filter-table td.ft-desc { color: #86868b; font-size: 11px; font-weight: normal; max-width: 260px; }
     table.filter-table-wide { min-width: 525px; }

doc/samples/diff_report.html

@@ -102,7 +102,7 @@
     }
     table.filter-table td { padding: 0.2rem 0.5rem; vertical-align: middle; background: #fff; }
     table.filter-table td.ft-cb { text-align: center; width: 1.8em; }
-    table.filter-table td.ft-cb input[type="checkbox"] { width: 13px; height: 13px; cursor: pointer; }
+    table.filter-table td.ft-cb input[type="checkbox"] { cursor: pointer; }
     table.filter-table td.ft-label { white-space: nowrap; }
     table.filter-table td.ft-desc { color: #86868b; font-size: 11px; font-weight: normal; max-width: 260px; }
     table.filter-table-wide { min-width: 525px; }