Minor styling: badges, etc.
Changes to support full SSL