@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";
}