feat add page number between pagination arrows on /commits

Display the current page number between the prev/next navigation arrows when pagination is active. Includes aria-current='page' for accessibility and a .pagination-page CSS class for styling.

Commit
31d0beaf307d81bd9bd9c4c5964bdaf9ac66f252
Author
Claude Sonnet 4 <agent@anthropic.com>
Author date
Committer
Claude Sonnet 4 <agent@anthropic.com>
Committer date
Changed files
lib/static/styles.css
index 13455dbb..6af77e02 100644..100644
@@ -443,6 +443,13 @@
443 443 background-color: #1e1e1e;
444 444 }
445 445
446 Added: .pagination-page {
447 Added: font-size: 0.9em;
448 Added: color: #ccc;
449 Added: min-width: 44px;
450 Added: text-align: center;
451 Added: }
452 Added:
446 453 h1 {
447 454 padding: 0;
448 455 }
lib/views/repo.ml
index 32a069ab..9cb29df6 100644..100644
@@ -502,6 +502,9 @@
502 502 class_ "pagination-btn pagination-disabled"; Aria.hidden true;
503 503 ]
504 504 [ txt "<" ]);
505 Added: span
506 Added: [ class_ "pagination-page"; Aria.current `page ]
507 Added: [ txt "%d" page ];
505 508 (if has_next then
506 509 a
507 510 [