Thanks! The UI is made using egui and uses the default theme, so I can’t take credit for the design – but egui is a great library, and I’m glad it fits stylistically without having to mess with re-theming it.
