index: English first; redirect: use my fonts

[web.git] / cs / index.html
diff --git a/cs/index.html b/cs/index.html

index 00b6bb794a7877d9dc1a5ae2a21642b4d1062b8a..4770ba604708f47add820fb8b153c0868a247c9a 100644 (file)
--- a/cs/index.html
+++ b/cs/index.html
@@ -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>