|
@include Option("userChrome.panel.remove_strip") {
|
|
@import "remove_strip";
|
|
}
|
|
|
|
@include Option("userChrome.panel.full_width_separator") {
|
|
@import "full_width_separator";
|
|
}
|
|
|
|
@include Option("userChrome.panel.full_width_padding") {
|
|
@import "full_width_padding";
|
|
}
|