sync both themes with toolkit windows theme changes in Mozilla 38 cycle
[themes.git] / EarlyBlue / global / config.css
index 0a949ef87a54595c643a7ec8ff8644a99e48a44a..9731c4b81e23647a8d92612d4fea44fd61d89c8f 100644 (file)
@@ -6,81 +6,48 @@
    == Styles for about:config
    ======================================================================= */
 
-@import url("chrome://global/skin/");
-@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
-
-/* ::::: warning screen ::::: */
-
-#warningScreen
-{
-  background: #CCD0DD;
+#warningScreen {
+  font-size: 15px;
+  padding-top: 0;
+  padding-bottom: 0;
+  -moz-padding-start: calc(48px + 4.6em);
+  -moz-padding-end: 48px;
 }
 
-#warningBox
-{
-  background: #9999CC;
-  color: #000000;
-  border: 1px solid #666699;
-  border-radius: 10px;
-  padding: 3em;
-  -moz-padding-start: 30px;
-  -moz-margin-start: 1em;
-  -moz-margin-end: 1em;
+.title {
+  background-image: url("chrome://global/skin/icons/warning.svg");
 }
 
-#warningInnerBox
-{
- max-width: 50em;
+#warningTitle {
+  font-weight: lighter;
+  line-height: 1.2;
+  color: #6666CC;
+  margin: 0;
+  margin-bottom: .5em;
 }
 
-#warningTitle
-{
-  margin: 0 0 .6em;
-  font-size: 160%;
-  border-bottom: 1px solid #666699;
+#warningText {
+  margin: 1em 0;
 }
 
-#warningText
-{
-  font-size: 110%;
-  -moz-margin-start: 0;
-}
-
-#warningButton
-{
+#warningButton {
   margin-top: 0.6em;
 }
 
-#showWarningNextTime
-{
-  margin-top: 0.6em;
+#filterRow {
+  margin-top: 4px;
+  -moz-margin-start: 4px;
 }
 
-#exclam
-{
-  list-style-image: url("chrome://global/skin/icons/alert-exclam.gif");
-  -moz-margin-end: 3em;
+#configTree {
+  margin-top: 4px;
+  margin-bottom: 4px;
 }
 
-/* ::::: tree rows ::::: */
-
-#configTreeBody::-moz-tree-cell-text(user)
-{
+#configTreeBody::-moz-tree-cell-text(user) {
   font-weight: bold;
 }
 
-#configTreeBody::-moz-tree-cell-text(locked)
-{
+#configTreeBody::-moz-tree-cell-text(locked) {
   font-style: italic;
 }
-
-#configTree
-{
-  margin-top: 5px;
-  margin-bottom: 5px;
-}
-
-#filterRow
-{
-  margin-top: 5px;
-}