Indicate links to documentation by dotted underline.

2010-01-22 18:36:40 +00:00
parent a26d2f0934
commit fd2a41eb8b
2 changed files with 10 additions and 0 deletions
--- 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;
--- 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;