<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Oct 24, 2013 at 11:22 AM, Daniel Jasper <span dir="ltr"><<a href="mailto:djasper@google.com" target="_blank" class="cremed">djasper@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Yes, his change does that. All that I am asking is to not hard-code this but instead introduce a style-dependent value. I can pick this up <span class="aBn" tabindex="0"><span class="aQJ">tomorrow</span></span>.. Should be a very straight-forward patch.</div>
</blockquote></div><br>I'm also wondering whether we really want to be able to tune this more precisely. IE, it may have overcompensated in its current form....</div></div>