/* ============================================================================
   品牌图标（顶部标题栏的 logo）
   ----------------------------------------------------------------------------
   ⚠️ 独立文件，**在 style.css 之后加载**（项目铁律：不往公共 style.css 里加规则，
      免得和别人的改动互相覆盖）。
   背景：顶部原来是个 emoji（线上显示成一只粉色蚯蚓），emoji 的问题是
         · 每台设备画得都不一样（Apple / 微软 / 安卓 三套图）
         · 系统缺这个字时直接变豆腐块或别的图形
       现在换成用户的蝉 logo 图片（public/logo-mark.png），跨设备完全一致。
   只作用于顶部标题栏里的 .brand-logo —— 不动 .topbar-title 本身，
   所以文字的字号/字重/字距全保持原样。
   ========================================================================== */

.topbar-title .brand-logo {
  height: 23px;
  width: auto;
  display: inline-block;
  /* 18px 文字的行高下，-4px 让图标和文字在视觉上居中对齐
     （图标是方块有明显边界，用 baseline 对齐会显得偏高） */
  vertical-align: -4px;
  margin-right: 7px;
  /* 图标源文件自带圆角透明角；这里再兜一层 —— 万一以后换成方角图，
     也不会在浅色标题栏上顶出一个生硬的直角。 */
  border-radius: 5px;
}