# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1320013436 0
# Node ID 9ebe067ea933fac1531ee96c0928a28ac8c2eeae
# Parent  329631227e7a6deb0296e1fb4caa4220bc2614e8
added

diff -r 329631227e7a -r 9ebe067ea933 Cookbook/menu.html
--- a/Cookbook/menu.html	Sun Oct 30 22:18:03 2011 +0000
+++ b/Cookbook/menu.html	Sun Oct 30 22:23:56 2011 +0000
@@ -8,6 +8,19 @@
    a:visited{text-decoration:none;}
    a:hover{text-decoration:underline;}
   </style>
+  <script type="text/javascript">
+
+  var _gaq = _gaq || [];
+  _gaq.push(['_setAccount', 'UA-4143458-5']);
+  _gaq.push(['_trackPageview']);
+
+  (function() {
+    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+  })();
+
+</script>
 </head>
 
 
@@ -35,7 +48,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www4.in.tum.de/~urbanc" target="content">Christian Urban</a></td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/" target="content">Christian Urban</a></td>
 </tr>
 
 <tr>
@@ -80,7 +93,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idp/main.html#readers" target="content">What early readers said</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/main.html#readers" target="content">What early readers said</a> </td>
 </tr>
 
 <tr>
@@ -99,15 +112,5 @@
 </tbody>
 </table>
 
-
-<!-- script type="text/javascript">
-var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
-document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
-</script>
-<script type="text/javascript">
-var pageTracker = _gat._getTracker("UA-4143458-1");
-pageTracker._initData();
-pageTracker._trackPageview();
-</script -->
 </body>
 </html>