/* all localizable skin settings shall live here */
@import url("chrome://global/locale/intl.css");
-@import url("chrome://global/skin/formatting.css");
-
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
/* ::::: XBL bindings ::::: */
padding: 8px 10px 10px 8px;
}
-[wait-cursor] {
- cursor: wait !important;
-}
-
/* ::::: alert icons :::::*/
.message-icon,
statusbarpanel {
-moz-box-align: center;
-moz-box-pack: center;
- padding: 0px 1px 0px 1px;
+ padding: 0px 1px;
}
padding: 0px;
}
-.statusbarpanel-iconic, .statusbarpanel-iconic-text, .statusbarpanel-menu-iconic {
- padding: 0px 1px 0px 1px;
+.statusbarpanel-iconic,
+.statusbarpanel-iconic-text,
+.statusbarpanel-menu-iconic {
+ padding: 0px 1px;
}
resizer[dir="bottomright"] {
cursor: se-resize;
}
-/* ::::: miscellaneous ::::: */
-
+window:not([active="true"]) menubar > menu {
+ color: #808080;
+}
+
.toolbar-focustarget {
-moz-user-focus: ignore !important;
}
+/* ::::: miscellaneous formatting ::::: */
+
+.inset {
+ border: 1px inset #CCD0DD;
+ /* margin: 0px 5px 5px 5px; */
+}
+
+.outset {
+ border: 1px outset #CCD0DD;
+}
+
+/* separators */
+separator:not([orient="vertical"]) {
+ height: 1.5em;
+}
+
+separator[orient="vertical"] {
+ width: 1.5em;
+}
+
+separator.thin:not([orient="vertical"]) {
+ height: 0.5em;
+}
+
+separator.thin[orient="vertical"] {
+ width: 0.5em;
+}
+
+separator.groove:not([orient="vertical"]) {
+ border-top: 2px groove #CCD0DD;
+ height: 0px;
+ margin-top: 0.4em;
+ margin-bottom: 0.4em;
+}
+
+separator.groove[orient="vertical"] {
+ border-left: 2px groove #CCD0DD;
+ margin-left: 0.4em;
+ margin-right: 0.4em;
+}
+
+/* groove separators (0 padding, for dividing effects) */
+separator.groove-thin {
+ border-top: 2px groove #CCD0DD;
+ height: 0px;
+}
+
+separator[orient="vertical"].groove-thin {
+ border-left: 2px groove #CCD0DD;
+}
+
+.small-margin {
+ margin: 0px 1px;
+}
+
+.plain {
+ margin: 0px !important;
+ border: none;
+ padding: 0px;
+}
+
+description, label {
+ cursor: default;
+ margin: 1px 3px;
+}
+
+label[disabled="true"] {
+ color: #808080;
+}
+
+description {
+/* margin-bottom: 4px; */
+}
+
+.tooltip-label {
+ margin: 0px;
+}
+
+.header {
+ font-weight: bold;
+}
+
+.monospace {
+ font-family: monospace;
+}
+
+.indent {
+/* margin-left: 23px; */
+ margin-left: 15px;
+}
+
+.box-padded {
+ padding: 5px;
+}
+
+.spaced {
+ margin: 1px 3px;
+}
+
+.wizard-box {
+ padding: 15px 35px 10px 35px;
+}
+
+.text-link {
+ color: blue;
+ text-decoration: underline;
+ cursor: pointer;
+}
+
+.text-link:focus {
+ color: red;
+ /* Don't specify the outline-color, we should always use initial value. */
+ outline: 1px dotted;
+}
+
+.text-link:hover:active {
+ color: red;
+}
+
+.text-link[visited="true"] {
+ color: purple;
+}
+
/* :::::: autoscroll popup ::::: */
#autoscroller {