0a56412
docs: Make menu entries smaller The menu should not take the focus away from the actual contents.