changed css: hide nolinenos overflow