1 files changed, 3 insertions, 0 deletions
diff --git a/blog/blogext.css b/blog/blogext.css
index 9048a49..3ce40d0 100644
--- a/blog/blogext.css
+++ b/blog/blogext.css
@@ -4,6 +4,9 @@ span.right{
 	white-space:nowrap;
 	min-width:12em;
 }
+span.tipped{
+	text-decoration: underline dotted;
+}
 a.toctarg{
 	margin-left:-160px;
 	padding-left:160px !important;