I came here to complain about the

96cf0b3

I agree that the previous <hr> was too dark, but now it's too light:

It's almost invisible in Firefox:

Barely visible in Chrome:

I think the issue is that it's both dotted and light color -- it should be dotted XOR light color !

IMO this is a good middle ground:

web/manual.css:hr {
  border: none;
  height: 1px;
  background-color: #BBB;