Skip to content

clean up main css#13

Merged
josihoppe merged 14 commits intomainfrom
fix/clean_up_main_css
Jan 23, 2026
Merged

clean up main css#13
josihoppe merged 14 commits intomainfrom
fix/clean_up_main_css

Conversation

@josihoppe
Copy link
Copy Markdown
Collaborator

I looked through the main.css file and removed a lot of not used stylings. I checked with some coverage tools, about 75% of the main file did not seem to be used.

I kept some classes like modal and dropdown, in case things like this might be added in future.

@josihoppe josihoppe marked this pull request as ready for review January 6, 2026 10:57
@paulapreuss paulapreuss self-requested a review January 22, 2026 12:44
Copy link
Copy Markdown
Collaborator

@paulapreuss paulapreuss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yup, looks good. Couldn't find anything broken either. Congrats on deleting 2,000 lines without breaking anything 😄

It seems like there are now some conflicts with the newest version of main, so you will have to rebase before merging. Feel free to merge once it is resolved, though.

@josihoppe josihoppe force-pushed the fix/clean_up_main_css branch from b0bf2da to da193b4 Compare January 23, 2026 09:16
@josihoppe josihoppe merged commit 6950d50 into main Jan 23, 2026
@josihoppe josihoppe deleted the fix/clean_up_main_css branch January 23, 2026 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants