Ben Rohlfs 174850ddb4 Add a right margin to the search bar ...

This creates some space between the search bar and the
"header-browse-source" endpoint where you often see a "Repositories"
link.

Screenshots: https://imgur.com/a/19eLQme
Change-Id: I54cc7540dd56628eeb3183da6195cd44f9ba536f

2019-11-28 08:58:00 +01:00

..

gr-main-header_test.html

Remove unnecessary common-test-setup.js

2019-11-18 14:14:36 -08:00

gr-main-header.html

Add a right margin to the search bar

2019-11-28 08:58:00 +01:00

gr-main-header.js

Convert legacy Polyemer elements to class-based

2019-11-15 16:53:09 +00:00