added (browser dependent) support for rendering timezone abbreviations; redid dst rendering