From: Ralf Jung Date: Fri, 29 Sep 2023 16:01:18 +0000 (+0200) Subject: tweak image behavior on small screens X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/7ff1b70ad9e1b46795a9502a520286c12af132e4 tweak image behavior on small screens --- diff --git a/personal/_sass/_layout.scss b/personal/_sass/_layout.scss index 8859ce1..90cc579 100644 --- a/personal/_sass/_layout.scss +++ b/personal/_sass/_layout.scss @@ -192,3 +192,17 @@ body { /* This centers us in the page, and handles the "too wide" case */ margin-top: 0.8em; } } + +/* Images (~350px wide) floating to the right but only if there is enough space */ +.float-right-350 { + float: right; + margin-left: 0.8em; + margin-bottom: 0.3em; +} +@media screen and (max-width:550px) { + .float-right-350 { + text-align: center; + float: none; + margin: 0; + } +} diff --git a/research/index.html b/research/index.html index b20242f..6a16288 100644 --- a/research/index.html +++ b/research/index.html @@ -2,7 +2,7 @@ title: Ralf Jung --- -
+

I am assistant professor at ETH Zürich as part of the Institute for Programming Languages and Systems.
Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany; my advisor was Derek Dreyer.