From bc2223b3562058e8054a8880e7cfcc4ff49c8d64 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 9 Apr 2023 18:27:04 +0100 Subject: Fix accessibility --- content.org | 5 +++-- themes/ymherklotz/layouts/partials/footer.html | 15 ++++++++------- themes/ymherklotz/static/css/default.css | 7 +++++-- 3 files changed, 16 insertions(+), 11 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: 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 = '' diff --git a/themes/ymherklotz/layouts/partials/footer.html b/themes/ymherklotz/layouts/partials/footer.html index 8fef1a9..25120d0 100644 --- a/themes/ymherklotz/layouts/partials/footer.html +++ b/themes/ymherklotz/layouts/partials/footer.html @@ -1,14 +1,15 @@