From 6fc9c3aecbacb028b9fe1a17700fc60a471f8f9e Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 16 Aug 2011 10:23:38 +0200
Subject: [PATCH] Modify a few URLs on Android

Using the snippet from http://davidwalsh.name/detect-android

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 bookmarks.html | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/bookmarks.html b/bookmarks.html
index d83855767d..7abfffbd8f 100644
--- a/bookmarks.html
+++ b/bookmarks.html
@@ -27,7 +27,7 @@
 <ul>
 <li><a href="http://www.heise.de/newsticker/">heise online: 7-Tage-News</a>
 <li><a href="http://www.zeit.de/">ZEIT online</a>
-<li><a href="http://www.spiegel.de/">Spiegel Online</a>
+<li><a href="http://www.spiegel.de/" android="http://m.spiegel.de/index.html">Spiegel Online</a>
 <li><a href="http://blog.zeit.de/weisslog/">Die Zeit - Weisslog</a>
 <li><a href="http://www.brandeins.de/home/index.asp">brand eins Online - Das Wirtschaftsmagazin</a>
 <li><a href="http://www.ikp.uni-bonn.de/kant/">Kants Gesammelte Werke</a>
@@ -93,5 +93,16 @@
 </td>
 </tr>
 </table>
+<script>
+	var ua = navigator.userAgent.toLowerCase();
+	var isAndroid = ua.indexOf("android") > -1;
+
+	if (isAndroid) {
+		var a = document.getElementsByTagName('a');
+		for (var i = 0; i < a.length; i++)
+			if (a[i].getAttribute('android'))
+				a[i].href = a[i].getAttribute('android');
+	}
+</script>
 </body>
 </html>
-- 
2.11.4.GIT