sync EarlyBlue theme with toolkit windows theme changes in Mozilla 41 cycle

[themes.git] / LCARStrek / global / in-content / info-pages.css

diff --git a/LCARStrek/global/in-content/info-pages.css b/LCARStrek/global/in-content/info-pages.css
index 9bcb30ababaf55ff1436692f2216a58ef904f948..902b1f87f5460e9b17aba0d0c56b77f20db7bf3f 100644 (file)
--- a/LCARStrek/global/in-content/info-pages.css
+++ b/LCARStrek/global/in-content/info-pages.css
@@ -1,106 +1,109 @@
-@import url("chrome://global/skin/in-content/common.css");\r
-/* Body and container */\r
-body {\r
-  display: flex;\r
-  flex-direction: column;\r
-  box-sizing: padding-box;\r
-  min-height: 100vh;\r
-  padding-top: 0;\r
-  padding-bottom: 0;\r
-  -moz-padding-start: calc(48px + 4.6em);\r
-  -moz-padding-end: 48px;\r
-  align-items: center;\r
-  justify-content: center;\r
-}\r
-\r
-.container {\r
-  min-width: 13em;\r
-  max-width: 52em;\r
-}\r
-\r
-.container.flex,\r
-.container.restore-chosen {\r
-  display: flex;\r
-  flex-direction: column;\r
-  flex-grow: 1;\r
-  margin: 10vh 0;\r
-}\r
-\r
-/* Typography */\r
-.title {\r
-  background-image: url("chrome://browser/skin/aboutNetError_info.svg");\r
-  background-position: left 0;\r
-  background-repeat: no-repeat;\r
-  background-size: 1.6em;\r
-  -moz-margin-start: -2.3em;\r
-  -moz-padding-start: 2.3em;\r
-  font-size: 2.5em;\r
-}\r
-\r
-.title:-moz-dir(rtl) {\r
-  background-position: right 0;\r
-}\r
-\r
-.title-text {\r
-  border-bottom: 1px solid #A09090;\r
-  font-size: inherit;\r
-  padding-bottom: 0.4em;\r
-}\r
-\r
-@media (max-width: 675px) {\r
-  body {\r
-    padding: 0 48px;\r
-  }\r
-\r
-  .title {\r
-    background-image: none !important;\r
-    -moz-padding-start: 0;\r
-    -moz-margin-start: 0;\r
-  }\r
-\r
-  .title-text {\r
-    padding-top: 0;\r
-  }\r
-}\r
-\r
-ul, ol {\r
-  margin: 0;\r
-  padding: 0;\r
-  -moz-margin-start: 1em;\r
-}\r
-\r
-ul > li, ol > li {\r
-  margin-bottom: .5em;\r
-}\r
-\r
-ul {\r
-  list-style: disc;\r
-}\r
-\r
-/* Buttons */\r
-.button-container {\r
-  margin-top: 1.2em;\r
-}\r
-\r
-.button-container > button {\r
-  min-width: 150px;\r
-}\r
-\r
-.button-container > button:first-child {\r
-  -moz-margin-start: 0;\r
-}\r
-\r
-/* Trees */\r
-.tree-container {\r
-  margin-top: 1.2em;\r
-  flex-grow: 1;\r
-  min-height: 12em;\r
-}\r
-\r
-.tree-container > tree {\r
-  height: 100%;\r
-}\r
-\r
-tree {\r
-  width: 100%;\r
-}\r
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+@import url("chrome://global/skin/in-content/common.css");
+/* Body and container */
+body {
+  display: flex;
+  flex-direction: column;
+  box-sizing: border-box;
+  min-height: 100vh;
+  padding-top: 0;
+  padding-bottom: 0;
+  -moz-padding-start: calc(48px + 4.6em);
+  -moz-padding-end: 48px;
+  align-items: center;
+  justify-content: center;
+}
+
+.container {
+  min-width: 13em;
+  max-width: 52em;
+}
+
+.container.restore-chosen {
+  display: flex;
+  flex-direction: column;
+  flex-grow: 1;
+  margin: 10vh 0;
+}
+
+/* Typography */
+.title {
+  background-image: url("chrome://browser/skin/aboutNetError_info.svg");
+  background-position: left 0;
+  background-repeat: no-repeat;
+  background-size: 1.6em;
+  -moz-margin-start: -2.3em;
+  -moz-padding-start: 2.3em;
+  font-size: 2.5em;
+}
+
+.title:-moz-dir(rtl) {
+  background-position: right 0;
+}
+
+.title-text {
+  border-bottom: 1px solid #A09090;
+  font-size: inherit;
+  padding-bottom: 0.4em;
+}
+
+@media (max-width: 675px) {
+  body {
+    padding: 0 48px;
+  }
+
+  .title {
+    background-image: none !important;
+    -moz-padding-start: 0;
+    -moz-margin-start: 0;
+  }
+
+  .title-text {
+    padding-top: 0;
+  }
+}
+
+ul, ol {
+  margin: 0;
+  padding: 0;
+  -moz-margin-start: 1em;
+}
+
+ul > li, ol > li {
+  margin-bottom: .5em;
+}
+
+ul {
+  list-style: disc;
+}
+
+/* Buttons */
+.button-container {
+  margin-top: 1.2em;
+}
+
+.button-container > button {
+  min-width: 150px;
+}
+
+.button-container > button:first-child {
+  -moz-margin-start: 0;
+}
+
+/* Trees */
+.tree-container {
+  margin-top: 1.2em;
+  flex-grow: 1;
+  min-height: 12em;
+}
+
+.tree-container > tree {
+  height: 100%;
+}
+
+tree {
+  width: 100%;
+}