index: English first; redirect: use my fonts
[web.git] / cs / index.html
index 00b6bb7..4770ba6 100644 (file)
@@ -5,10 +5,12 @@ layout: null
 <!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>
 
-<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>