v8.1.0

8.1.0 (2024-06-05)

Bug Fixes

• css: selected color should win over striped table (#835) (13a1506)
• fix minor typos in error messages (841a926)
• styling: fix styling of tags and marks (4dd0a88)
• styling: make sure responsive rules take precedence (f63276e)

Features

• add file full text search (#806) (ab1ac26)