border.left: 10+− border.top: 12+− border.bottom: 12+− border.right: 10+− source: titlebar.png+−