Fixed links w.r.t. themes: The theme was switching back to `blue` instead of keeping e.g. `gray` on clicking a link in the menu