[gnome-shell] (26 commits) Non-fast-forward update to branch wip/raresv/uiTweaks

[Rares Visalom <raresvisalom src gnome org>]

The branch 'wip/raresv/uiTweaks' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  8ca336e... search.js: Make the results take more horizontal space
  29ddcdc... search.js: Refactor providerIcon into providerInfo
  0e47db7... search.js: Tweak the sizes of search results icons
  31079f3... search.js: Replace the gradient separator with a simple lin
  f406b81... gnome-shell.css: Use standard font size for the search-resu
  cec395b... gnome-shell.css: Make search result description semitranspa
  060bc13... search.js: Increase maximum number of visible list search r
  97f481b... util: Wrap g_regex_escape_string()
  87683bf... search.js: Propagate searchResultsView down the hierarchy
  7df89ae... search.js: Apply the bold style in real time

Commits added to the branch:

  69396bb... build: Drop obsolete dist file (*)
  3d20983... Bump version to 3.25.3 (*)
  e995730... style: Fix nesting of elements (*)
  875a1d6... gdmUtil: Fix auth prompt drawing over user list (*)
  0e922ee... data: install process-working.svg to filesystem (*)
  9c4e875... objectManager: handle object manager sending empty array (*)
  9c8a470... objectManager: handle proxies coming and going (*)
  293d169... Fix a typo (*)
  5221744... workspace: Reset source IDs to zero after removing them (*)
  82e20f9... authPrompt: Reorder import (*)
  bdc15d6... Revert "data: install process-working.svg to filesystem" (*)
  e3330b6... Revert "gdmUtil: Fix auth prompt drawing over user list" (*)
  a00a186... authPrompt: Remove stray tab character (*)
  8dae0b5... update sass
  c62e361... search.js: Make the results take more horizontal space
  aed6d46... search.js: Refactor providerIcon into providerInfo
  985e53a... search.js: Tweak the sizes of search results icons
  9a00705... search.js: Replace the gradient separator with a simple lin
  235d4b2... gnome-shell.css: Use standard font size for the search-resu
  d35f2d3... gnome-shell.css: Make search result description semitranspa
  4ffbec5... search.js: Increase maximum number of visible list search r
  04ad2b2... util: Wrap g_regex_escape_string()
  7bbff9d... search.js: Propagate searchResultsView down the hierarchy
  bf884ae... search.js: Apply the bold style in real time
  c36f006... update sass
  de81475... search.js: Vertically center the provider icon

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