From f81a92fc56f1734ae7034749495ed2b5ba382868 Mon Sep 17 00:00:00 2001
From: "Min-Zhong \"John\" Lu" <mnjul@users.noreply.github.com>
Date: Sat, 7 Oct 2017 22:15:11 -0700
Subject: [PATCH] CSS fine tunes

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

diff --git a/style.css b/style.css
index 0cd7ae9..39d23ec 100644
--- a/style.css
+++ b/style.css
@@ -18,7 +18,7 @@
 
   /* XXX: using px for very good precision control */
   --decorator-outer-offset-top: 10px;
-  --decorator-outer-offset-left: -5px;
+  --decorator-outer-offset-left: -5.5px;
   --decorator-border-width: 1px;
   --decorator-outer-dim: 9px;
   --decorator-border: 1px solid #ccc;
@@ -232,6 +232,7 @@ li{
 .details{
   flex: 1 0 0;
   padding-left: var(--decorator-horizontal-margin);
+  padding-top: calc(var(--row-blocks-padding-top) - 0.5pt) !important; /* not sure why but this is needed for better alignment */
 }
 
 .details header{