+description {
+/* margin-bottom: 4px; */
+}
+
+.tooltip-label {
+ margin: 0px;
+}
+
+.header {
+ font-weight: bold;
+}
+
+.monospace {
+ font-family: "Liberation Mono", Consolas, "Courier New", monospace;
+}
+
+.indent {
+/* margin-inline-start: 23px; */
+ margin-inline-start: 15px;
+}
+
+.box-padded {
+ padding: 5px;
+}
+
+.spaced {
+ margin: 1px 3px;
+}
+
+.wizard-box {
+ padding: 15px 35px 10px;
+}
+
+.text-link {
+ color: blue;
+ cursor: pointer;
+}
+
+.text-link:hover {
+ text-decoration: underline;
+}
+
+.text-link:-moz-focusring {
+ /* Don't specify the outline-color, we should always use initial value. */
+ outline: 1px dotted;
+}
+
+popupnotificationcontent {
+ margin-top: .5em;
+}
+
+/* === BEGIN notification-popup.inc.css === */
+
+.popup-notification-panel > .panel-arrowcontainer > .panel-arrowcontent {
+ /* In order to display the action buttons near the edge of the arrow panel we
+ * have to reset its default padding and specify the padding in the individual
+ * "popupnotification" elements instead. To keep the rounded borders of the
+ * panel, we also have to ensure the contents are clipped to the border box
+ * by hiding the overflow, and we have to override the "display" property so
+ * that the height of the contents is computed correctly in that case. */
+ padding: 0;
+ overflow: hidden;
+ display: block;
+}
+
+/* === END notification-popup.inc.css === */
+
+/* :::::: 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;