Format index.html consistently

184075c8 · dgelessus · d661db61 · 184075c8
Commit 184075c8 authored 2 years ago by dgelessus
--- a/index.html
+++ b/index.html
@@ -2,26 +2,22 @@
 	<head>
 		<title>stups.prob.update</title>
 		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-
 	</head>
 	<body>
-
 		<h1 class="title">Installing the ProB plug-ins</h1>
-<p class="bodyText">
-Please use the Rodin Update manager to install the plug-ins.
-</p>
+		<p class="bodyText">Please use the Rodin Update manager to install the plug-ins.</p>
 		<ol class="bodyText">
 			<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li>
-<li>There should already be a HHU remote site.  If not, create a new remote site using the URL <br/><i>https://stups.hhu-hosting.de/rodin/prob1/release/</i></li>
+			<li>
+				There should already be a HHU remote site.  If not, create a new remote site using the URL <br/>
+				<i>https://stups.hhu-hosting.de/rodin/prob1/release/</i>
+			</li>
 			<li>Select the Plug-ins you want to install and follow the dialog</li>
 		</ol>
 		<br/>
-
-	Queries? Please contact: 
-			Heinrich-Heine-University, Software und Programmiersprachen:
+		Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen:
 		<a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>.
 		<a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>.
-
 		<div id="data"><!-- this is where the transformed data goes --></div>
 	</body>
 </html>