chore: remove custom badge styles from side-nav dev page (#10133)

jouni · web-flow · commit c75b504a1c35 · 2025-09-08T14:35:53.000+03:00
diff --git a/dev/side-nav.html b/dev/side-nav.html
@@ -78,17 +78,6 @@
         width: fit-content;
         margin-top: 2rem;
       }
-
-      [theme~='badge'] {
-        font-size: 0.8em;
-        line-height: 1.2;
-        display: inline-block;
-        padding: 0.1em 0.3em;
-        min-width: calc(1lh + 0.2em - 0.6em);
-        background: var(--vaadin-background-container);
-        border-radius: 0.7em;
-        text-align: center;
-      }
     </style>
   </head>
   <body>
