Update docs theme

This commit is contained in:
Peter Vlugter 2012-03-06 13:20:00 +13:00
parent f51afb9b47
commit d7fe025fa2
75 changed files with 1795 additions and 638 deletions

View file

@ -0,0 +1,13 @@
jQuery(document).ready(function($) {
if (typeof disableStyleCode != "undefined") {
return;
}
var a = false;
$("pre").each(function() {
if (!$(this).hasClass("prettyprint")) {
$(this).addClass("prettyprint lang-scala linenums");
a = true
}
});
if (a) { prettyPrint() }
});