*
* ***** END LICENSE BLOCK ***** */
+@namespace html "http://www.w3.org/1999/xhtml";
+
+/* HTML link elements do weird things to the layout if they are not hidden */
+html|link {
+ display: none;
+}
+
+#tasksMenuMandelbrot, #menu_openMandelbrot {
+ list-style-image: url("chrome://mandelbrot/skin/mandelbrotIcon16.png");
+}
+
+#tool-mandelbrot {
+ list-style-image: url("chrome://mandelbrot/skin/mandelbrotIcon32.png");
+}
+
+titlebar {
+ background-color: ActiveCaption;
+ color: CaptionText;
+ font: caption;
+ font-weight: bold;
+ border-bottom: 1px solid ActiveBorder;
+}
+
+.coord-caption {
+ font-style: italic;
+ font-weight: bold;
+}