tree 7c6de56986101876fa75b2f9cbc0fe0aa8f50148
parent e89429df08157efb0680a8c826bf0a3ac57c959d
author Luca Milanesio <luca.milanesio@gmail.com> 1791730836 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1791785071 -0700

Align plugin-manager header bar with Gerrit

Use the same 'Roboto' font as the Google screen and align the style of
the top-level bar, including the search box. Also, swap the action
button font with the 'Open Sans' used in the Gerrit header.

In order to reuse the same Gerrit fonts, import the /styles/fonts.css
from the plugin-manager and intro pages.

Old custom UI            : https://www.pasteboard.co/_EDQs3sdyOEU.png
UI more aligned to Gerrit: https://www.pasteboard.co/pUNu1B9guRTP.png

Release-Notes: Align plugin-manager and intro headers with Gerrit L&F
Change-Id: I8248c2e67e29033ffde779eade6aeeb7684d6b75
(cherry picked from commit 6b19964dd31d25a839d0e07f24821f9f16ce888f)