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