Skip to content

CodeMirror blob: Popover font differences

Created by: jjinnii

Expected behavior:

Screen Shot 2022-08-17 at 11 36 56 PM

Actual behavior:

Screen Shot 2022-08-17 at 11 36 45 PM

Different font weight (maybe size) being used for the popover buttons, as well as different font weight for the "precise" and "search-based" tags.