Merge pull request #995 from sphinx-contrib/improve-doc-annotations

Improve documentation admonitions
sphinx-contrib · Jun 27, 2024 · 8bcc8f2 · 8bcc8f2
2 parents 62d1bb9 + 80ba746
commit 8bcc8f2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/doc/_themes/sphinx13b/static/sphinx13b.css b/doc/_themes/sphinx13b/static/sphinx13b.css
@@ -405,7 +405,11 @@ div.attention {
 }
 
 div.caution, div.warning {
-    border: 1px solid #940000;
+    border: 1.5px solid #940000;
+}
+
+div.tip {
+    border: 1.5px solid #009400;
 }
 
 div.admonition > ul,