From 1b8bba47d7f3cfc64da7b853a16e9b332288ce1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pablo=20Rodr=C3=ADguez?= <ousia@users.noreply.github.com>
Date: Sun, 22 Oct 2017 20:31:56 +0200
Subject: [PATCH] remove fixed font size in <code> and <pre>

Having a fixed font-size for `<code>` and `<pre>` makes it harder to use it in headings.

I think it is better to remove the fixed font-size to enable typing where the user wants (see <http://www.handlecsv.tk>).
---
 stylesheets/styles.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/stylesheets/styles.css b/stylesheets/styles.css
index effdca8..ca328d7 100644
--- a/stylesheets/styles.css
+++ b/stylesheets/styles.css
@@ -156,7 +156,6 @@ img {
 
 code, pre {
 	font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
-  font-size:14px;
 }
 
 pre {