dd43eae0d3
Remove barely used theme settings for "Navigation Bar" and "Execution Region". These properties were only used in two areas, which already had a good candidate to be replaced with. Visually it should look exactly the same by default. Part of #135192, simplifying and cleaning up theme settings. See PR for details and screenshots. Pull Request: https://projects.blender.org/blender/blender/pulls/140352
