Alex
Created page with ":root { // use --text-color (#000) --searchbutton-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='20' height='20' viewBox='0 0 20 20'%3E%3Cpath fill='%23000' d='M12.2 13.6a7 7 0 1 1 1.4-1.4l5.4 5.4-1.4 1.4zM3 8a5 5 0 1 0 10 0A5 5 0 0 0 3 8z'/%3E%3C/svg%3E"); } →* * codex version of search box (ported from vector-2022): .vector-search-box { font-size: 0.8125em; // 12px, default is .8em min-width: unset; // is 20em, guarantees tab..."