18
18
<distance name="right_titlebar_edge" value="10"/>
19
19
<distance name="button_width" value="18"/>
20
20
<distance name="button_height" value="20"/>
22
22
<border name="title_border" left="0" right="2" top="0" bottom="0"/>
23
23
<border name="button_border" left="0" right="1" top="1" bottom="0"/>