Docs: regenerate the HTML

This commit is contained in:
Mike Hearn
2015-11-25 18:49:58 +01:00
parent 1ce9bdeba0
commit 2f1a91c101
11 changed files with 606 additions and 55 deletions

View File

@ -15,6 +15,11 @@ $(document).ready(function() {
kotlinButton.setAttribute("class", "");
javaButton.setAttribute("class", "current");
};
if ($(el).children(".highlight-java").length == 0) {
// No Java for this example.
javaButton.style.display = "none";
}
c.insertBefore(el);
});
});