Jackson Harper 54ca861545 Reader header height should not take pinned searches into account ... This fixes an issue where the PDF toolbar can be covered by an "invisible" header element.		2024-02-15 10:38:18 +08:00
..
elements	Add pinned searches	2023-11-08 11:27:21 +08:00
patterns	Start creating a separate sync queue for android highlight changes	2024-01-08 22:27:48 +08:00
templates	Reader header height should not take pinned searches into account	2024-02-15 10:38:18 +08:00
tokens	Improve the library view contrast	2024-01-29 11:37:35 +08:00