make sure vertical scrollbar is always shown

[web.git] / cs / research.html

diff --git a/cs/research.html b/cs/research.html
index 2222b7f46693e6153274df3d7ad9f59f76f785dc..af9a103ec300fdbb572337ee209b2a088e49b807 100644 (file)
--- a/cs/research.html
+++ b/cs/research.html
@@ -4,6 +4,8 @@ absolute_urls: true
 hide: true
 ---
 
 hide: true
 ---
 

+<div style="float:right; margin-left:0.8em; margin-bottom: 0.3em"><img src="me.jpg"></div>
+

 <p>I am a PhD student at <a href="http://www.mpi-sws.org/" target="_blank">Max Planck Institute for Software Systems (MPI-SWS)</a> and <a href="http://www.uni-saarland.de/" target="_blank">Saarland University</a> under the supervision of <a href="http://www.mpi-sws.org/~dreyer/" target="_blank">Derek Dreyer</a>, head of the <a href="http://plv.mpi-sws.org/" target="_blank">Foundations of Programming group</a>.</p>
 
 <p>Previously, I did my Bachelor's thesis in computer science at the <a href="http://www.cdl.uni-saarland.de/index.php">Compiler Design chair</a> of the university (also see below).</p>
 <p>I am a PhD student at <a href="http://www.mpi-sws.org/" target="_blank">Max Planck Institute for Software Systems (MPI-SWS)</a> and <a href="http://www.uni-saarland.de/" target="_blank">Saarland University</a> under the supervision of <a href="http://www.mpi-sws.org/~dreyer/" target="_blank">Derek Dreyer</a>, head of the <a href="http://plv.mpi-sws.org/" target="_blank">Foundations of Programming group</a>.</p>
 
 <p>Previously, I did my Bachelor's thesis in computer science at the <a href="http://www.cdl.uni-saarland.de/index.php">Compiler Design chair</a> of the university (also see below).</p>


@@ -12,7 +14,7 @@ hide: true
 
 <p>In my free time, I like to run internet services myself and work on free software.
 This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world.
 
 <p>In my free time, I like to run internet services myself and work on free software.
 This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world.

-See my <a href="https://www.ralfj.de" target="_blank">personal website</a> for more information, in particular some of my <a href="https://www.ralfj.de/projects" target="_blank">software projects</a>.</p>
+See my <a href="https://www.ralfj.de">personal website</a> for more information.</p>

 
 <h2 style="clear:both;">Thesis, Publications, Workshop Submissions</h2>
 
 
 <h2 style="clear:both;">Thesis, Publications, Workshop Submissions</h2>