PHP tweak - session_start(), other minor css changes