1. Updated default font size - 2. Updated html5 syntax plugin