preferences: fixed internal widget border-width