style: add a border to the dropdown to make those more prominent#512

peterpeterparker merged 1 commit intomainjunobuild/docs:mainfrom

style/dropdownjunobuild/docs:style/dropdownCopy head branch name to clipboard