From: Amin Bandali Date: Sat, 17 Aug 2019 23:35:56 +0000 (-0400) Subject: tweak publication styles X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/e080516ce6defaf997bcc5b54bf380044c65ebd2?ds=sidebyside tweak publication styles --- 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;