JBIDE-13679 HTML5 Palette should be available for any HTML5 file

Mobile palette will be shown when <!DOCTYPE html> is present.