Tweaked property panel for HTML and JS