From 96ba747ff21ddffdbab0cc7b37e78381861bc9e4 Mon Sep 17 00:00:00 2001
From: wxiaoguang <wxiaoguang@gmail.com>
Date: Tue, 29 Aug 2023 22:03:34 +0800
Subject: [PATCH] Fix notification circle (border-radius) (#26794)

`border-radius` means `radius`, not `diameter`, so it should be `50%` and `boxHeight / 2`
---
 web_src/css/base.css           | 2 +-
 web_src/css/modules/navbar.css | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/web_src/css/base.css b/web_src/css/base.css
index 1a88823cb..c0176cc43 100644
--- a/web_src/css/base.css
+++ b/web_src/css/base.css
@@ -18,7 +18,7 @@
   /* non-color variables */
   --border-radius: 4px;
   --border-radius-medium: 6px;
-  --border-radius-circle: 100%;
+  --border-radius-circle: 50%;
   --opacity-disabled: 0.55;
   --height-loading: 16rem;
   --tab-size: 4;
diff --git a/web_src/css/modules/navbar.css b/web_src/css/modules/navbar.css
index 15114f90b..de25ea681 100644
--- a/web_src/css/modules/navbar.css
+++ b/web_src/css/modules/navbar.css
@@ -133,8 +133,8 @@
   left: 6px;
   top: -9px;
   min-width: 17px;
-  min-height: 17px;
-  border-radius: var(--border-radius-circle);
+  height: 17px;
+  border-radius: 11px; /* (height + 2 * borderThickness) / 2 */
   display: flex;
   align-items: center;
   justify-content: center;