Browse Source

Set the style element ID.

benbro 13 years ago
parent
commit
6de284acc9
  1. 1
      src/fonts.js

1
src/fonts.js

@ -2377,6 +2377,7 @@ var Font = (function FontClosure() {
var styleElement = document.getElementById('PDFJS_FONT_STYLE_TAG'); var styleElement = document.getElementById('PDFJS_FONT_STYLE_TAG');
if (!styleElement) { if (!styleElement) {
styleElement = document.createElement('style'); styleElement = document.createElement('style');
styleElement.id = 'PDFJS_FONT_STYLE_TAG';
document.documentElement.getElementsByTagName('head')[0].appendChild( document.documentElement.getElementsByTagName('head')[0].appendChild(
styleElement); styleElement);
} }

Loading…
Cancel
Save