Crate list: Add rounded corners

[CruzBishop]

They didn't look quite right exactly rounded, so this is slightly different to normal.

Feel free to reject this if you want them to remain square or rounded normally, it's just an experiment.

[alexcrichton]

Thanks for the PR! I'm somewhat hesitant to merge small stylistic updates like this as we probably just want a larger overhaul and thes ends up being inconsistent with a number of the other styles found on the site.

[CruzBishop]

Fair enough. If you'd like, I could just go around and make one large PR
that adds similarly styled corners everywhere, or were you thinking of more
of an internal discussion -> RFC -> theme refresh?

On Sun, Jul 26, 2015 at 3:24 AM, Alex Crichton [email protected]
wrote:

Thanks for the PR! I'm somewhat hesitant to merge small stylistic updates
like this as we probably just want a larger overhaul and thes ends up being
inconsistent with a number of the other styles found on the site.

—
Reply to this email directly or view it on GitHub
#172 (comment).

[alexcrichton]

I wasn't thinking an RFC per-se, but we don't really have an owner of the design of crates.io now so it's hard to say precisely how to move forward with something like this.

cc @steveklabnik I know you've had thoughts about this in the past.

[steveklabnik]

Yes, we want to do some visual refresh work, but at the same time, we want to be careful about how we do it. We'll have an internal discussion at some point (I have some work to do first) and go from there. I left this comment on another PR recently:

---

While it is true that our web properties could use a fresh coat of paint, we're in the very, very beginning stages of considering what that might be like. we'd like to make some functional and content improvements to several of our web sites, but we're currently at the stage of 'organize our thoughts about what should be on the site,' which is before any design can even happen at all.

The core team hopes to have something more to say on the topic soon, but we don't want to commit to anything publicly right now, as we're not sure what the final form of this effort will be.

---

I don't mind this patch, exactly, but I also don't mind them being square.

[carols10cents]

I'm going to close this since it's over a year old, and there is another PR that does a UI refresh and would make this moot.