From fd2a41eb8b6439e073d70b20d986973e98745f5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Fri, 22 Jan 2010 18:36:40 +0000
Subject: [PATCH] Indicate links to documentation by dotted underline.

---
 themes/darkblue_orange/css/theme_right.css.php | 5 +++++
 themes/original/css/theme_right.css.php        | 5 +++++
 2 files changed, 10 insertions(+)

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;