diff options
Diffstat (limited to 'widgets/google_prettify/local.html')
-rw-r--r-- | widgets/google_prettify/local.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/widgets/google_prettify/local.html b/widgets/google_prettify/local.html new file mode 100644 index 0000000..4b6a219 --- /dev/null +++ b/widgets/google_prettify/local.html @@ -0,0 +1,11 @@ +--- +linenums : true +--- +<script src="{{urls.base_url}}/assets/widgets/syntax/javascripts/prettify.js"></script> +<script> + var pres = document.getElementsByTagName("pre"); + for (var i=0; i < pres.length; ++i) { + pres[i].className = "prettyprint {{# this_config.linenums }}linenums{{/this_config.linenums}}"; + } + prettyPrint(); +</script> |