Web: fix jsa_proc.css bug introduced in merge