From 08ff3ac22ec87e0c7535f1c16f89c1605356e850 Mon Sep 17 00:00:00 2001
From: Niklas Fasching <niklas.fasching@gmail.com>
Date: Tue, 11 Dec 2018 19:50:09 +0100
Subject: [PATCH] Add monospace hack to example css

relative font sizes inside pre tags are not honored by default. this is the
industry standard way of fixing that. go figure...

https://github.com/necolas/normalize.css#extended-details-and-known-issues
---
 etc/style.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/etc/style.css b/etc/style.css
index 457a982..cc9d896 100644
--- a/etc/style.css
+++ b/etc/style.css
@@ -55,7 +55,7 @@ blockquote {
   border-left: solid 1px #fa6432; }
 
 table {
-  font-family: monospace;
+  font-family: monospace, monospace; /* https://github.com/necolas/normalize.css#extended-details-and-known-issues */
   font-size: 1rem;
   text-align: left;
   caption-side: bottom;
@@ -80,6 +80,7 @@ table, .highlight > pre, pre.example {
   margin: 1em 0;
   padding: 1em;
   overflow: auto;
+  font-family: monospace, monospace; /* https://github.com/necolas/normalize.css#extended-details-and-known-issues */
   font-size: 0.85rem;
   border: 1px solid rgba(250, 100, 50, 0.5); }
 
@@ -88,11 +89,10 @@ figure {
 }
 
 figcaption {
-  font-family: monospace;
+  font-family: monospace, monospace; /* https://github.com/necolas/normalize.css#extended-details-and-known-issues */
   font-size: 0.75em;
   text-align: center;
-  color: grey;
-  margin-top: 0; }
+  color: grey; }
 
 .footnote-definition sup {
   float: left; }