/* Пункт «Что нового» в панели настроек (ячейка D2).

   Кнопка [data-portal-whats-new] и её бейдж непрочитанного едут в разметке
   СКРЫТЫМИ (`hidden`) и остаются такими, пока
   themes/github-style/static/js/portal-whats-new/page.js не подтвердит, что
   на странице реально есть window.portalReleaseNotice.open — то есть виджет
   соседней ячейки D1 действительно загружен.

   !important здесь не украшение, а обязательная часть контракта:
   .portal-settings__options button (portal-onboarding.css) красит ЛЮБУЮ
   кнопку панели настроек `display: grid`. Это авторское правило ОБЫЧНОЙ
   значимости, и оно перебивает правило UA-таблицы стилей
   `[hidden] { display: none }` НЕЗАВИСИМО ОТ СПЕЦИФИЧНОСТИ — источник
   декларации (author > user-agent) в каскаде важнее специфичности.
   Без override ниже кнопка была бы видна вопреки атрибуту hidden с первого
   же кадра, до того как отработает JS. Тот же манёвр по той же причине уже
   стоит в этом репозитории — portal-tabs.css, career-map.css,
   portal-tools.css (`.tool-wizard__panel[hidden] { display: none !important; }`). */
[data-portal-whats-new][hidden] {
  display: none !important;
}

.portal-whats-new__unseen {
  background: var(--course-cyan);
  border-radius: 999px;
  color: var(--course-surface);
  display: inline-flex;
  font-size: 10px;
  font-weight: 700;
  justify-content: center;
  line-height: 1;
  margin-left: 6px;
  min-width: 16px;
  padding: 2px 5px;
  vertical-align: middle;
}

.portal-whats-new__unseen[hidden] {
  display: none !important;
}