Skip to content
This repository has been archived by the owner on May 1, 2024. It is now read-only.

Theming #30

Merged
merged 2 commits into from Jan 12, 2021
Merged

Theming #30

merged 2 commits into from Jan 12, 2021

Conversation

jeroenoomsNL
Copy link
Contributor

Updated styling of header menu and tools according to UX design.

@paulsiersma paulsiersma merged commit 7645894 into master Jan 12, 2021
@jeroenoomsNL jeroenoomsNL deleted the theming branch January 12, 2021 15:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants