js: fix JS warnings and reindent.
Use html5shiv from jsdelivr.