This should make the API documentation slightly quicker to access for users by removing an extra click. Moreover, it makes the API documentation blend in with the rest of the website/theme (one of the points in #6526). Fixes #18249.
This should make the API documentation slightly quicker to access for users by removing an extra click. Moreover, it makes the API documentation blend in with the rest of the website/theme (one of the points in #6526). Fixes #18249.