1. .Badge {
    
  2.   display: inline-block;
    
  3.   background-color: var(--color-component-badge-background);
    
  4.   color: var(--color-text);
    
  5.   padding: 0.125rem 0.25rem;
    
  6.   line-height: normal;
    
  7.   border-radius: 0.125rem;
    
  8.   margin-right: 0.25rem;
    
  9.   font-family: var(--font-family-monospace);
    
  10.   font-size: var(--font-size-monospace-small);
    
  11. }
    
  12. 
    
  13. .ExtraLabel {
    
  14.   font-family: var(--font-family-monospace);
    
  15.   font-size: var(--font-size-monospace-small);
    
  16.   color: var(--color-component-badge-count);
    
  17. }