Slight style tweak for tooltipped text in blog posts.

1 files changed, 1 insertions, 0 deletions

diff --git a/blog/blogext.css b/blog/blogext.css
index 3ce40d0..2bc341a 100644
--- a/blog/blogext.css
+++ b/blog/blogext.css
@@ -6,6 +6,7 @@ span.right{
 }
 span.tipped{
 	text-decoration: underline dotted;
+	text-decoration-color: var(--interactive-active-bg);
 }
 a.toctarg{
 	margin-left:-160px;