Remove deprecated uses of badge style

GitOrigin-RevId: 47234e95acd42d7e5d23de8e3b67edca2bdd98d1

services/web/frontend/js/features/source-editor/components/editor-switch.tsx

@@ -32,7 +32,7 @@ function Badge() {
         href="https://forms.gle/GmSs6odZRKRp3VX98"
         target="_blank"
         rel="noopener noreferrer"
-        className="badge info-badge"
+        className="info-badge"
       >
         <span className="sr-only">{content}</span>
       </a>

services/web/frontend/stylesheets/_style_includes.less

@@ -41,7 +41,6 @@
 @import 'components/notifications.less';
 @import 'components/pager.less';
 @import 'components/labels.less';
-//@import "components/badges.less";
 //@import "components/jumbotron.less";
 @import 'components/thumbnails.less';
 @import 'components/alerts.less';

services/web/frontend/stylesheets/components/badges.less

@@ -1,54 +0,0 @@
-//
-// Badges
-// --------------------------------------------------
-
-// Base classes
-.badge {
-  display: inline-block;
-  min-width: 10px;
-  padding: 3px 7px;
-  font-size: @font-size-small;
-  font-weight: @badge-font-weight;
-  color: @badge-color;
-  line-height: @badge-line-height;
-  vertical-align: baseline;
-  white-space: nowrap;
-  text-align: center;
-  background-color: @badge-bg;
-  border-radius: @badge-border-radius;
-
-  // Empty badges collapse automatically (not available in IE8)
-  &:empty {
-    display: none;
-  }
-
-  // Quick fix for badges in buttons
-  .btn & {
-    position: relative;
-    top: -1px;
-  }
-  .btn-xs & {
-    top: 0;
-    padding: 1px 5px;
-  }
-}
-
-// Hover state, but only for links
-a.badge {
-  &:hover,
-  &:focus {
-    color: @badge-link-hover-color;
-    text-decoration: none;
-    cursor: pointer;
-  }
-}
-
-// Account for counters in navs
-a.list-group-item.active > .badge,
-.nav-pills > .active > a > .badge {
-  color: @badge-active-color;
-  background-color: @badge-active-bg;
-}
-.nav-pills > li > a > .badge {
-  margin-left: 3px;
-}

services/web/frontend/stylesheets/core/variables.less

@@ -783,24 +783,6 @@
 @well-bg: #f5f5f5;
 @well-border: darken(@well-bg, 7%);
 
-//== Badges
-//
-//##
-
-@badge-color: #fff;
-//** Linked badge text color on hover
-@badge-link-hover-color: #fff;
-@badge-bg: @gray-light;
-
-//** Badge text color in active nav link
-@badge-active-color: @link-color;
-//** Badge background color in active nav link
-@badge-active-bg: #fff;
-
-@badge-font-weight: bold;
-@badge-line-height: 1;
-@badge-border-radius: 10px;
-
 //== Breadcrumbs
 //
 //##