+description {
+/* margin-bottom: 4px; */
+}
+
+.tooltip-label {
+ margin: 0px;
+}
+
+.header {
+ font-weight: bold;
+}
+
+.monospace {
+ font-family: monospace;
+}
+
+.indent {
+/* -moz-margin-start: 23px; */
+ -moz-margin-start: 15px;
+}
+
+.box-padded {
+ padding: 5px;
+}
+
+.spaced {
+ margin: 1px 3px;
+}
+
+.wizard-box {
+ padding: 15px 35px 10px;
+}
+
+.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 {
+ height: 28px;
+ width: 28px;
+ border: 0px;
+ margin: -14px;
+ padding: 0px;
+ background-image: url("chrome://global/skin/icons/autoscroll.png");
+ background-color: transparent;
+ -moz-appearance: none;
+}
+
+#autoscroller[scrolldir="NS"] {
+ background-position: left center;
+}
+
+#autoscroller[scrolldir="EW"] {
+ background-position: left bottom;
+}
+
+#autoscroller[transparent="true"] {
+ background-position: center top;
+}
+
+#autoscroller[transparent="true"][scrolldir="NS"] {
+ background-position: center center;
+}
+
+#autoscroller[transparent="true"][scrolldir="EW"] {
+ background-position: center bottom;
+}
+
+#autoscroller[translucent="true"] {
+ background-position: right top;
+}
+
+#autoscroller[translucent="true"][scrolldir="NS"] {
+ background-position: right center;
+}
+
+#autoscroller[translucent="true"][scrolldir="EW"] {
+ background-position: right bottom;