From e080516ce6defaf997bcc5b54bf380044c65ebd2 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 17 Aug 2019 19:35:56 -0400 Subject: [PATCH] tweak publication styles --- publications.html | 28 ++++++++++++++++++++-------- style.css | 9 +++++++++ 2 files changed, 29 insertions(+), 8 deletions(-) diff --git a/publications.html b/publications.html index d842230..1c6da5c 100644 --- a/publications.html +++ b/publications.html @@ -29,10 +29,17 @@
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ - (pdf, - bib, - doi, - models) + + [ + pdf + | + bib + | + doi + | + models + ] +
Ali Abbassi, @@ -52,12 +59,17 @@
The Magic of Specifications and Type Systems - (slides, + + [ + slides + | poster) +York University, Toronto, Canada, August 15, 2017">poster + ] +
Amin Bandali, diff --git a/style.css b/style.css index 163c9cf..9fd35aa 100644 --- a/style.css +++ b/style.css @@ -106,8 +106,17 @@ p:last-child { text-transform: none; } dl { + margin: 0 0 0.5em 0; +} +dl:last-child { margin: 0; } +dt { + margin-bottom: 0.5em; +} +#publications dd, .plinks { + font-size: 0.9em; +} /* ol { margin: 0; -- 2.20.1