1727 Have Portal Tags Jump, and include header?

Changed Sass to allow jumped-to targets appear below the fixed-position header. When header isn‘t fixed (narrow browser), there’s no change. For Release 16.