convert deprecated message into badge
remove at least one extra newline below navbar
Merge pull request #88 from ros-infrastructure/deprecated_badge

Deprecated badge