Style changes to navigation bar

- added a subtle gradient

- changed border color between navigation items to be subtler (still
looks ok if a browser doesn't support CSS3 gradients and falls back to
a solid color)

- re-added a short (0.05s instead of the usual 0.2s) hover transition
on navigation items for increased elegance in user experience