From b4598799b473d75db11be406e8766325ec3faa09 Mon Sep 17 00:00:00 2001
From: nyamatongwe
Date: Fri, 21 Aug 2009 09:40:54 +0000
Subject: Use noscript tags to show elements that are normally customised by
script.
---
doc/index.html | 15 +++++++++++++--
1 file changed, 13 insertions(+), 2 deletions(-)
diff --git a/doc/index.html b/doc/index.html
index 2fe793ed1..f760fad38 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -96,6 +96,10 @@ if (IsRemote()) {
document.write('Download ');
}
//-->
+
Documentation
Bugs
+
History Related
@@ -181,10 +188,10 @@ if (IsRemote()) {
may receive no response.
+There is a Scintilla project page
+hosted on
+