<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Dec 29, 2013 at 7:11 AM, simargl <span dir="ltr"><<a href="mailto:archpup@gmail.com" target="_blank">archpup@gmail.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"><div>Hello,<br><br>Trying to make openbox theme with bigger titlebar to match GTK3 Headerbar there, I'm interested is there some way to define different padding width and height for Separator label than for Titlebar. If using same size (padding.width and padding.height seems like only options and they apply to both) Separator label is too big, ...</div>

</div></blockquote><div><br></div><div>There's only 1 padding option in the theme format at this time. You can use the font size to change the titlebar size however.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir="ltr"><div> </div></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>

</div></div>
<br>_______________________________________________<br>
openbox mailing list<br>
<a href="mailto:openbox@icculus.org">openbox@icculus.org</a><br>
<a href="http://icculus.org/mailman/listinfo/openbox" target="_blank">http://icculus.org/mailman/listinfo/openbox</a><br>
<br></blockquote></div><br></div></div>