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