diff --git a/css/80_app.css b/css/80_app.css index 7f51f5fc2..f88bcb87e 100644 --- a/css/80_app.css +++ b/css/80_app.css @@ -5348,6 +5348,7 @@ li.hide + li.version .badge .tooltip .popover-arrow { max-width: 120px; text-align: initial; line-height: 1.1em; + font-weight: bold; } .ideditor[dir='ltr'] .edit-menu-item .label { margin-left: 8px;