Add bold headline and zoom in pdf viewer #97

Merged
3025495 merged 2 commits from #89-bold-headline into main 2025-06-27 21:19:19 +02:00

2 Commits (main)

Author SHA1 Message Date
Jaronim Pracht 740637d6a2 Fix formatting in text search logic and highlight rendering
Adjust PDF container dimensions for better display
2025-06-27 21:14:47 +02:00
Zainab2604 3b1b7603c4 Add bold headline and zoom in pdf viewer 2025-06-25 21:04:45 +02:00