label,
description,
textbox {
  font-family: "Nokia Sans", sans-serif !important;
  font-size: 12pt !important;
}

richlistitem {
  font-family: "Nokia Sans", sans-serif !important;
  font-size: 12pt !important;
}

#extensionsManager {
  -moz-appearance: none;
  background-color: rgba(123,125,123,0.9);
}

#extensionsView {
  -moz-appearance: none !important;
  background-color: rgba(207,207,207,0.9);
  border: 2px solid #fff !important;
  -moz-border-top-colors: none;
  -moz-border-right-colors: none;
  -moz-border-bottom-colors: none;
  -moz-border-left-colors: none;
  -moz-border-radius: 10px;
}

#themeSplitter {
  background-color: rgba(123,125,123,0.9);
}

#themePreviewArea {
  -moz-appearance: none !important;
  background-color: rgba(207,207,207,0.9);
  border: 2px solid #fff !important;
  -moz-border-top-colors: none;
  -moz-border-right-colors: none;
  -moz-border-bottom-colors: none;
  -moz-border-left-colors: none;
  -moz-border-radius: 10px;
}

#resizerBox {
  display: none;
}