Fix font adjustment for double-code embedding
authorBruce Momjian <bruce@momjian.us>
Fri, 14 Apr 2017 18:38:38 +0000 (20:38 +0200)
committerMagnus Hagander <magnus@hagander.net>
Fri, 14 Apr 2017 18:45:12 +0000 (20:45 +0200)
commitd7957a214d3511abf9ce1b9cc0705d24eaf6ef3a
tree43ec97d88cd318c5413f9943d9458e180ac79254
parent82c28b2b186a8395e479266a3709c1eff9e6e75d
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