From 0858f1cc911185b92f4466f23a3ae342859200b2 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 14 Feb 2025 16:56:44 +0100
Subject: [PATCH 1/2] Make the publication display more compact.

---
 style.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/style.css b/style.css
index eeb4f81..72436dc 100644
--- a/style.css
+++ b/style.css
@@ -1,7 +1,7 @@
 dl.ref {
   counter-reset: pub-counter-1;
-  padding-left: 50px;
-  padding-top: 15px;
+  padding-left: 10px;
+  padding-top: 0px;
   width: 100%;
   display: grid;
   grid-template-columns: min-content 1fr;
@@ -15,13 +15,13 @@ dl.ref {
     grid-column: 1;
     content: "[" counter(pub-counter-1) "] ";
     counter-increment: pub-counter-1;
-    margin-right: 0.5em;
+    margin-right: 2px;
   }
   & dd {
     display: grid;
     grid-template-columns: subgrid;
     grid-column: 2/3;
-    margin-bottom: 20px;
+    margin-bottom: 10px;
   }
 }
 

From cdc4acb9379350f79ac11328614a39dcf8536183 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 14 Feb 2025 17:26:08 +0100
Subject: [PATCH 2/2] More space, again.

---
 style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 72436dc..7aa4dc2 100644
--- a/style.css
+++ b/style.css
@@ -1,7 +1,7 @@
 dl.ref {
   counter-reset: pub-counter-1;
   padding-left: 10px;
-  padding-top: 0px;
+  padding-top: 7px;
   width: 100%;
   display: grid;
   grid-template-columns: min-content 1fr;