# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1717248187 -32400
# Node ID b5e5d3077e9c0203b088e6104cf1b3ca027cc3db
# Parent  11a8837b1cdad0be4e36335578f51bbfacb6104e
Adjust CSS

diff -r 11a8837b1cda -r b5e5d3077e9c examples/common/default/default.css
--- a/examples/common/default/default.css	Sat Jun 01 21:40:05 2024 +0900
+++ b/examples/common/default/default.css	Sat Jun 01 22:23:07 2024 +0900
@@ -228,8 +228,8 @@
 }
 body.general div.warn:before {background: orange;}
 body.general div.warn:after {
-    border: 3px solid white; border-radius: 50%; width: 0.5em; height: 0.5em;
-    top: 0.8em;
+    border: 0.2em solid white; border-radius: 50%; width: 0.5em; height: 0.5em;
+    left: 0.82em; top: 0.82em;
 }
 body.general div.alert {
     color: red; border-color: red; background: #fdd8;