minor changes to enable somehow of compatibility with navigators without page border css property