Style improvement

I finally figured out how to make the header as large as the browser but not
larger.