diff --git a/index.html b/index.html
index e235e5d80695865ffd163073d8884fbf9040913b..2fc8b1d9fcf054244394e63c567b968334428cc5 100644
--- a/index.html
+++ b/index.html
@@ -2,60 +2,10 @@
<head>
<title>stups.prob.update</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<style>@import url("web/site.css");</style>
-<script type="text/javascript">
- var returnval = 0;
- var stylesheet, xmlFile, cache, doc;
- function init(){
- // NSCP 7.1+ / Mozilla 1.4.1+ / Safari
- // Use the standard DOM Level 2 technique, if it is supported
- if (document.implementation && document.implementation.createDocument) {
- xmlFile = document.implementation.createDocument("", "", null);
- stylesheet = document.implementation.createDocument("", "", null);
- if (xmlFile.load){
- xmlFile.load("site.xml");
- stylesheet.load("web/site.xsl");
- } else {
- alert("Document could not be loaded by browser.");
- }
- xmlFile.addEventListener("load", transform, false);
- stylesheet.addEventListener("load", transform, false);
- }
- //IE 6.0+ solution
- else if (window.ActiveXObject) {
- xmlFile = new ActiveXObject("msxml2.DOMDocument.3.0");
- xmlFile.async = false;
- xmlFile.load("site.xml");
- stylesheet = new ActiveXObject("msxml2.FreeThreadedDOMDocument.3.0");
- stylesheet.async = false;
- stylesheet.load("web/site.xsl");
- cache = new ActiveXObject("msxml2.XSLTemplate.3.0");
- cache.stylesheet = stylesheet;
- transformData();
- }
- }
- // separate transformation function for IE 6.0+
- function transformData(){
- var processor = cache.createProcessor();
- processor.input = xmlFile;
- processor.transform();
- data.innerHTML = processor.output;
- }
- // separate transformation function for NSCP 7.1+ and Mozilla 1.4.1+
- function transform(){
- returnval+=1;
- if (returnval==2){
- var processor = new XSLTProcessor();
- processor.importStylesheet(stylesheet);
- doc = processor.transformToDocument(xmlFile);
- document.getElementById("data").innerHTML = doc.documentElement.innerHTML;
- }
- }
-</script>
+
</head>
-<body onload="init();">
+<body >
-<a href="http://www.stups.uni-duesseldorf.de/"><img src="http://www.stups.uni-duesseldorf.de/hhulogo1.jpg" border="0" align="right"></a>
<h1 class="title">Installing the ProB plug-ins</h1>
<p class="bodyText">
Please use the Rodin Update manager to install the plug-ins.
@@ -67,6 +17,10 @@ Please use the Rodin Update manager to install the plug-ins.
</ol>
<br/>
+ Queries? Please contact:
+ Heinrich-Heine-University, Software und Programmiersprachen:
+ <a href="http://www.stups.hhu.de/" target="_blank">To Website</a>.
+<a href="http://www.uni-duesseldorf.de/home/footer/datenschutz.html">Privacy Policy (Datenschutz)</a>.
<div id="data"><!-- this is where the transformed data goes --></div>
</body>