Simplify UI customization: handle custom logo.png properly
Review Request #2129 — Created Feb. 17, 2011 and submitted
Minor configuration feature: Allow customization by only replacing logo.png I made the layout independent of the logo size. Without my change the header layout is broken whenever the logo has a size other than the original logo.png.
Pushed to master as 7788529. Thanks!