From f728e4e0fedf279c652d1299c3ff11c7528a3c2d Mon Sep 17 00:00:00 2001
From: Simon Pieters <zcorpan@gmail.com>
Date: Sat, 24 Oct 2015 15:52:32 +0200
Subject: [PATCH] More consistent monospace styling

Also monospace element-attr
---
 default.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/default.css b/default.css
index 0c932b0e793..330eac5223b 100644
--- a/default.css
+++ b/default.css
@@ -300,7 +300,11 @@
 		content: "";
 	}
 
-	[data-link-type=element]         { font-family: monospace; }
+	[data-link-type=element],
+	[data-link-type=element-attr] {
+		font-family: Menlo, Consolas, "DejaVu Sans Mono", monospace;
+		font-size: .9em;
+	}
 	[data-link-type=element]::before { content: "<" }
 	[data-link-type=element]::after  { content: ">" }