mirror of
https://github.com/docker/docs.git
synced 2026-10-29 20:39:05 +03:00
This helps keeping the currently selected menu item into view on pages that have many menu-items (such as the docker engine CLI reference) Signed-off-by: Sebastiaan van Stijn <github@gone.nl>