From d7957a214d3511abf9ce1b9cc0705d24eaf6ef3a Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Fri, 14 Apr 2017 20:38:38 +0200
Subject: [PATCH] Fix font adjustment for double-code embedding

Add additional CSS injection to prevent code tag embedded in code tag
from having its font size adjusted twice.

Discussion: https://postgr.es/m/20170408015201.GA18573@momjian.us
---
 media/js/monospacefix.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/media/js/monospacefix.js b/media/js/monospacefix.js
index 85239326..42ce9139 100644
--- a/media/js/monospacefix.js
+++ b/media/js/monospacefix.js
@@ -19,6 +19,9 @@ if (newMonoSize != 1)
 {
         document.write('<style type="text/css" media="screen">'
 					+ '#docContainer tt, #docContainer pre, #docContainer code'
-					+ '{font-size: ' + newMonoSize.toFixed(1) + 'em;}</style>\n');
+					+ '{font-size: ' + newMonoSize.toFixed(1) + 'em;}</style>\n'
+					/* prevent embedded code tags from changing font size */
+					+ '#docContainer code code'
+					+ '{font-size: 1em;}</style>\n');
 }