|
@include Option("userChrome.compatibility.panel_cutoff") {
|
|
#appMenu-popup panelview {
|
|
width: 24.5em !important; /* can modify panel width, Original: 22.5em */
|
|
}
|
|
}
|
|
|
|
@include Option("userChrome.compatibility.navbar_top_border") {
|
|
#nav-bar {
|
|
box-shadow: none !important;
|
|
}
|
|
}
|