Add <hr> after top navigation bar; now looks more like the rest of the navigation bars in the HTML output.
Add <hr> after top navigation bar; now looks more like the rest of the
navigation bars in the HTML output.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator