projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
research: re-add missing image
[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>