widgets/google_prettify/local.html


1
2
3
4
5
6
7
8
9
10
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>