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