removed unused panel-box-badge-top variable in default themes