research: re-add missing image
[web.git] / cs / index.html
index 00b6bb794a7877d9dc1a5ae2a21642b4d1062b8a..4770ba604708f47add820fb8b153c0868a247c9a 100644 (file)
@@ -5,10 +5,12 @@ layout: null
 <!DOCTYPE html>
 <html>
 <head>
 <!DOCTYPE html>
 <html>
 <head>
-<title>Ralf Jung</title>
-<meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/"> 
+    <title>Ralf Jung</title>
+    <link rel="stylesheet" href="/style.css">
+    <meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/"> 
 </head>
 
 </head>
 
-<body>
-You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
-</body>
+<body><p style="padding: 1em">
+    You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
+</p></body>
+</html>