small changes here and there. case sensitive searching is back.
adding pgsql syntax hilighting.