/** This file contains ExtJS 4.2 specific styles */
#header h1, #header h2 {    
    /* For ExtJS 4.2, the default css no longer sets the margin/padding to 0 */
    margin: 0;
    padding: 0;
}

#header h2 {
    font-size: 12px;
}

/* ExtJS 4.2 no longer removes the list-style on li */
li.x-boundlist-item, li.x-combo-list-group {
    list-style: none;
}

div.x-boundlist-list-ct ul {
    margin: 0;
    padding: 0;
}

.menu-item-arrow-extj42 {
    top: 12px;
}