From: Amin Bandali Date: Wed, 31 Jul 2019 13:40:17 +0000 (-0400) Subject: add blurb about me to front page X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/4ad3138c4814ad02d9101676e95d436adb00818d?ds=sidebyside;hp=737aed007b35c70cd3d1b6c3271f99ce91555b48 add blurb about me to front page --- diff --git a/index.html b/index.html index e0efc13..2bdb4b8 100644 --- a/index.html +++ b/index.html @@ -16,6 +16,14 @@

bandali's

corner on the interwebs

+
+

+ hi, i'm + amin bandali, + often just bandali around the web. +

+

academia

+

+ i'm a graduate student at watform + at university of waterloo, supervised by + dr. nancy day. + my research at watform focuses on formal logic, model + checking, and verification. see my research interests link + above for more details. +

personal

@@ -36,6 +52,14 @@
  • contact
  • +

    + i’m a free software + and copyleft activist, + an fsf associate member, + and a gnu webmaster + and volunteer. i co-host the emacs.el podcast, + and i'm organizing emacsconf 2019 this fall. +

    diff --git a/style.css b/style.css index 86cf7ea..af0562d 100644 --- a/style.css +++ b/style.css @@ -97,3 +97,6 @@ main > h3, ul:first-child { p:first-child { margin-top: 0; } +p:last-child { + margin-bottom: 0; +}