make repo name more prominent in repo breadcrumb

Created by: sqs

The repo name is bigger and now has an icon. The "Home > Repositories >" prefix is removed. This makes it easier to quickly scan the repo name.

See discussion at https://sourcegraph.slack.com/archives/C0HMGV90V/p1601315825028400?thread_ts=1601314236.026900&cid=C0HMGV90V. Maybe this isn't the global best solution for the repo breadcrumb, but I propose we try it and see how people like it! If we come up with a way to make the repo breadcrumb consistent with the other breadcrumbs (and still have nice properties of not wasting precious space there, etc.), then we can always switch in the future.

Light theme

Dark theme