tweak publication styles
authorAmin Bandali <bandali@gnu.org>
Sat, 17 Aug 2019 23:35:56 +0000 (19:35 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 17 Aug 2019 23:35:56 +0000 (19:35 -0400)
publications.html
style.css

index d842230..1c6da5c 100644 (file)
           <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,
         <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>,
index 163c9cf..9fd35aa 100644 (file)
--- 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;