diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-04-09 18:27:04 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-09 18:27:04 +0100 |
| commit | bc2223b3562058e8054a8880e7cfcc4ff49c8d64 (patch) | |
| tree | 2caf1ceb99f06e321831102b0f5a3b60e3eabdbc /content.org | |
| parent | 3610dede35139cf9d6d48c1c60e6e1ea506d628b (diff) | |
| download | yannherklotz.com-bc2223b3562058e8054a8880e7cfcc4ff49c8d64.tar.gz yannherklotz.com-bc2223b3562058e8054a8880e7cfcc4ff49c8d64.zip | |
Fix accessibility
Diffstat (limited to 'content.org')
| -rw-r--r-- | content.org | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/content.org b/content.org index 4c2ba15..23b9dc4 100644 --- a/content.org +++ b/content.org @@ -10,7 +10,8 @@ :EXPORT_FILE_NAME: _index :END: -#+html: <img src="/images/portrait.jpg" alt="Profile picture" class="profile-picture" /> +#+attr_html: :alt Profile picture :width 200 :height 200 :class profile-picture +[[./static/images/portrait.jpg]] Hi! I'm currently a PhD student in the Circuits and Systems group at Imperial College London, supervised by [[https://johnwickerson.github.io][John Wickerson]]. @@ -732,7 +733,7 @@ We then have the following Nix derivation which should download =Vellvm= and bui src = ./.; buildInputs = [ git coq ocamlPackages.menhir dune coqPackages.flocq - coqPackages.coq-ext-lib coqPackages.paco + coqPackages.coq-ext-lib coqPackages.paco coqPackages.ceres ocaml ]; buildPhase = '' |