Updated mac os X version to use pretty printing terminal (Platypus gives a webkit browser window to use)
Minor patch to fix html stuff