Use a button element for search form#2943

knowler merged 1 commit intomainroots/sage:mainfrom

use-button-for-searchroots/sage:use-button-for-searchCopy head branch name to clipboard