On Sunday, 10 January 2016 at 17:02:59 UTC, Saurabh Das wrote: > [...] > The grayed out header colour looks funny. I meant it looks funny when it spans half the height of the page when the example code is long. It looks fine otherwise :)