[gnome-text-editor] (9 commits) ...Merge branch 'wip/exalm/styles' into 'main'

[Christian Hergert <chergert src gnome org>]

Summary of changes:

  c80e0a9... position-label: Use .numeric style (*)
  4f0cd5f... css: Work around the glitchy theme selector gradient (*)
  1672361... css: Polish theme selector styles (*)
  0b8fcb4... css: Polish open popover styles (*)
  0feed0c... css: Fix search bar border (*)
  a29a8e3... css: Stop doing backdrop for search bar (*)
  c6dcca0... css: Remove redundant styles (*)
  8f36349... recoloring: Improve contrast for dark colors (*)
  751caeb... Merge branch 'wip/exalm/styles' into 'main'

(*) This commit already existed in another branch; no separate mail sent