$(document).ready(prettyPrint);