patched in issue 194 fix for line numbers in sons of obsidian theme
patched in issue 194 fix for line numbers in sons of obsidian theme

tcollard/google-code-prettify,tcollard/google-code-prettify,tcollard/google-code-prettify,ebidel/google-code-prettify,ebidel/google-code-prettify