diff --git a/themes/darkblue_orange/css/theme_right.css.php b/themes/darkblue_orange/css/theme_right.css.php
index 7bc875f98..b3641b351 100644
--- a/themes/darkblue_orange/css/theme_right.css.php
+++ b/themes/darkblue_orange/css/theme_right.css.php
@@ -312,6 +312,11 @@ img.lightbulb {
 .syntax {
 }
 
+.syntax a {
+    text-decoration: none;
+    border-bottom:1px dotted black;
+}
+
 .syntax_comment {
     padding-left:       4pt;
     padding-right:      4pt;
diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php
index a6eaf9492..0a5ae358e 100644
--- a/themes/original/css/theme_right.css.php
+++ b/themes/original/css/theme_right.css.php
@@ -289,6 +289,11 @@ img.lightbulb {
     font-size:          80%;
 }
 
+.syntax a {
+    text-decoration: none;
+    border-bottom:1px dotted black;
+}
+
 .syntax_comment {
     padding-left:       4pt;
     padding-right:      4pt;