Fix #76525, round out badges in search and panel

This commit is contained in:
Miguel Solorio 2019-07-03 11:14:27 -07:00
parent ab430685db
commit 7e4200a0cf
2 changed files with 12 additions and 9 deletions

View file

@ -4,11 +4,12 @@
*--------------------------------------------------------------------------------------------*/ *--------------------------------------------------------------------------------------------*/
.monaco-count-badge { .monaco-count-badge {
padding: 0.3em 0.5em; padding: 4px 5px;
border-radius: 1em; border-radius: 11px;
font-size: 85%; font-size: 11px;
min-width: 1.6em; min-width: 19px;
line-height: 1em; min-height: 19px;
line-height: 11px;
font-weight: normal; font-weight: normal;
text-align: center; text-align: center;
display: inline-block; display: inline-block;

View file

@ -93,13 +93,15 @@
} }
.monaco-workbench .part.panel > .title > .panel-switcher-container > .monaco-action-bar .badge .badge-content { .monaco-workbench .part.panel > .title > .panel-switcher-container > .monaco-action-bar .badge .badge-content {
padding: 0.3em 0.5em; padding: 4px 5px;
border-radius: 1em; border-radius: 11px;
font-size: 11px;
min-width: 19px;
min-height: 19px;
line-height: 11px;
font-weight: normal; font-weight: normal;
text-align: center; text-align: center;
display: inline-block; display: inline-block;
min-width: 1.6em;
line-height: 1em;
box-sizing: border-box; box-sizing: border-box;
} }