tree 396cd747d33c141723cf96ed9d198b1eb20dafb9
parent aa60f93858a708b20b39eea24a5e6e10e8b4174d
author Ben Rohlfs <brohlfs@google.com> 1631565512 +0200
committer Ben Rohlfs <brohlfs@google.com> 1631641122 +0200

Fix font styling in some <h$d> elements

I have discovered the bug when looking at repo commands for the
reviewers plugin, but I have made a pass over all <h$d> elements in
Gerrit's code base and discovered some more problems.

The gr-change-list change will slightly change the UI of the dashboard
page, but users will probably not notice, and generally it will make
the headers more aligned.

Change-Id: Iaae366ea8e2c2121a9bf0a629f81821ce86d6a7d