Changed height of header bar

In response to multiple comments that the top header bar was too large (took away from valuable content real estate), I have made the header shorter. Unfortunately, this also means that it is harder to see Phillip the bear. I guess that's alright though.