X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/46e00845fab171c8a35b2455e60f59e51463ca3d..e080516ce6defaf997bcc5b54bf380044c65ebd2:/publications.html

diff --git a/publications.html b/publications.html
index d842230..1c6da5c 100644
--- a/publications.html
+++ b/publications.html
@@ -29,10 +29,17 @@
           <dt>
             A Comparison of the Declarative Modelling Languages B,
             Dash, and TLA<sup>+</sup>
-            (<a href="publications/modre2018-declarative.pdf">pdf</a>,
-            <a href="publications/modre2018-declarative.bib">bib</a>,
-            <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>,
-            <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>)
+            <span class="plinks">
+              [
+              <a href="publications/modre2018-declarative.pdf">pdf</a>
+              |
+              <a href="publications/modre2018-declarative.bib">bib</a>
+              |
+              <a href="https://doi.org/10.1109/MoDRE.2018.00008">doi</a>
+              |
+              <a href="https://cs.uwaterloo.ca/~nday/models/2018-modre">models</a>
+              ]
+            </span>
           </dt>
           <dd>
             Ali Abbassi,
@@ -52,12 +59,17 @@
         <dl>
           <dt>
             The Magic of Specifications and Type Systems
-            (<a href="publications/cucsc-2017-slides.pdf"
-                title="presented at the Canadian Undergraduate Computer Science Conference 2017,
-University of Toronto, Canada, June 15-17, 2017">slides</a>,
+            <span class="plinks">
+            [
+            <a href="publications/cucsc-2017-slides.pdf"
+               title="presented at the Canadian Undergraduate Computer Science Conference 2017,
+University of Toronto, Canada, June 15-17, 2017">slides</a>
+            |
             <a href="publications/eecs4080-poster.pdf"
                title="presented at the Lassonde Undergraduate Summer Student Research Conference,
-York University, Toronto, Canada, August 15, 2017">poster</a>)
+York University, Toronto, Canada, August 15, 2017">poster</a>
+            ]
+            </span>
           </dt>
           <dd>
             <a href="https://bandali.eu.org">Amin Bandali</a>,