From 96f00e50c2a5885111f5d03e1c74ee93ac14f53f Mon Sep 17 00:00:00 2001
From: Daniel Compton <desk@danielcompton.net>
Date: Tue, 24 Oct 2017 15:23:27 +1300
Subject: [PATCH] Make the base font a bit smaller and set a constant width for
 expansion

buttons
---
 resources/day8/re_frame/trace/main.css  | 2 ++
 resources/day8/re_frame/trace/main.less | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/resources/day8/re_frame/trace/main.css b/resources/day8/re_frame/trace/main.css
index d63830a..f439c7e 100644
--- a/resources/day8/re_frame/trace/main.css
+++ b/resources/day8/re_frame/trace/main.css
@@ -2,6 +2,7 @@
   all: initial;
   /*! abridged from normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
   line-height: 1.15;
+  font-size: 14px;
   /* Text-level semantics
      ========================================================================== */
   /* Embedded content
@@ -457,4 +458,5 @@
 }
 #--re-frame-trace-- .expansion-button {
   font-family: sans-serif;
+  width: 16px;
 }
diff --git a/resources/day8/re_frame/trace/main.less b/resources/day8/re_frame/trace/main.less
index 64d1171..d467d04 100644
--- a/resources/day8/re_frame/trace/main.less
+++ b/resources/day8/re_frame/trace/main.less
@@ -26,6 +26,7 @@
   /*! abridged from normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
 
   line-height: 1.15;
+  font-size: 14px;
 
   div,
   nav {
@@ -551,7 +552,9 @@
     }
   }
 
+
   .expansion-button {
     font-family: sans-serif;
+    width: 16px;
   }
 }