Jackson Harper 89d59be1f2 Improve the height of the header in the library ... We need to handle library headers and PDF headers differently.		2023-03-21 12:57:40 +08:00
..
elements	Theme cleanup, expose extra reader themes	2023-03-10 15:05:18 +08:00
patterns	Handle highlight delete in the mobile library view	2023-03-17 15:24:22 +08:00
templates	Improve the height of the header in the library	2023-03-21 12:57:40 +08:00
tokens	Remove debug	2023-03-13 13:16:28 +08:00