Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Avoid current HTML jump target being hidden behind page header (details)
  2. Fine tune padding at top of HTML pages (details)
Commit ef397d6c8d98e1f48a88e5737615f8c78fe57ecd by Hans.Olsson
Avoid current HTML jump target being hidden behind page header
The file was modified css/MLS.css (diff)
The file was modified css/MLS-navbar-left.css (diff)
Commit a32411eff2572f396c09b2ad4487a9654778f801 by Hans.Olsson
Fine tune padding at top of HTML pages

Addressing change requested by Hans in review comment.
The file was modified css/MLS.css (diff)
The file was modified css/MLS-navbar-left.css (diff)