<div class="gmail_quote">FWIW it doesn&#39;t hurt to err on the side of what worked. i have generally have issues with low contrast, the current stable design is very good with this.</div><div class="gmail_quote"><br></div>
<div class="gmail_quote">i&#39;ve just built the docs from tip, and the nav bar issue is fixed, nicely done</div><div class="gmail_quote"><br></div><div class="gmail_quote">i also don&#39;t see any reason to backport theme changes, +0</div>
<div class="gmail_quote"><br></div><div class="gmail_quote"><br></div>