mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-01 22:55:23 +00:00
47 lines
1003 B
CSS
47 lines
1003 B
CSS
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;
|
|
}
|