+
+/* HACK to abolish devily color on main content */
+
+#content {
+ background-color: transparent !important;
+}
+
+/* Highlighter */
+
+.highlighter-veil {
+ background-color: rgba(0, 0, 0, 0.5);
+}
+
+#highlighter-close-button {
+ list-style-image: url("chrome://browser/skin/KUI-close.png");
+ top: 12px;
+ right: 12px;
+ cursor: pointer;
+}
+
+#highlighter-close-button:-moz-locale-dir(rtl) {
+ right: auto;
+ left: 12px;
+}
+
+highlighter-veil-transparentbox {
+ box-shadow: 0 0 0 1px rgba(0,0,0,0.5);
+ outline: 1px dashed rgba(255,255,255,0.5);
+ outline-offset: -1px;
+}
+
+#highlighter-veil-container[locked] > #highlighter-veil-middlebox > #highlighter-veil-transparentbox {
+ box-shadow: 0 0 0 1px black;
+ outline-color: white;
+}
+
+/*
+ * need a "bumpy" background image for this!
+ */
+#inspector-horizontal-splitter {
+ background: none !important;
+ -moz-appearance: none;
+ cursor: n-resize;
+}