django/django — pull request #845 by pedromagnus (2013-02-25 06:22:16+00:00)
Title: Top option-buttons now are css rounded. No more GIFs to simulate it.

- Top options buttons now are css rounded.
- New PNG icons (for Add and GoTo).
- Removed old GIFs simulating rounded borders.