Fix php errors on crc servers.

Set default time zone and replace split with preg_split, which is not
deprecated.
Fix some margins.
Add a on-the-fly search and resizing slider.