<!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>