From 4ad3138c4814ad02d9101676e95d436adb00818d Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 31 Jul 2019 09:40:17 -0400 Subject: [PATCH 1/1] add blurb about me to front page --- index.html | 24 ++++++++++++++++++++++++ style.css | 3 +++ 2 files changed, 27 insertions(+) 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; +} -- 2.20.1