MrMugameandGitHub f338556acd Merge pull request #1437 ...

* Remove unnecessary styles

* Be more rigorous about panels

2025-06-21 18:00:42 +02:00

..

colors.scss

Merge pull request #1437

2025-06-21 18:00:42 +02:00

editor.scss

Merge pull request #1435

2025-06-21 17:50:07 +02:00

main.scss

Merge pull request #1437

2025-06-21 18:00:42 +02:00

modals.scss

Improve modals (#840)

2024-04-20 16:22:02 +02:00

theme.scss

Visual indication of initial indexing progress (red circle)

2025-06-12 14:35:16 +02:00

top.scss

More cleanup

2025-06-12 20:40:31 +02:00