X-Git-Url: http://git.euphorik.ch/?p=pompage.git;a=blobdiff_plain;f=doc%2Fwebdeveloper%2Fwebdeveloper.css;fp=doc%2Fwebdeveloper%2Fwebdeveloper.css;h=d6b74b4e78f6acd015bc5d9ffc8359a1892fe145;hp=0000000000000000000000000000000000000000;hb=c3b0deb3d8c9f439739c79806e915c29bc1d4b84;hpb=cff6539539a79e014f6ac8df46716cafce2c8472

diff --git a/doc/webdeveloper/webdeveloper.css b/doc/webdeveloper/webdeveloper.css
new file mode 100644
index 0000000..d6b74b4
--- /dev/null
+++ b/doc/webdeveloper/webdeveloper.css
@@ -0,0 +1,72 @@
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
+
+/* Toolbar buttons */
+
+#webdeveloper-button
+{
+    list-style-image: url("chrome://webdeveloper/content/images/logo/medium.png");
+}
+
+toolbar[iconsize="small"] #webdeveloper-button
+{
+    list-style-image: url("chrome://webdeveloper/content/images/logo/small.png");
+}
+
+/* Toolbars */
+
+#webdeveloper-line-guides-toolbar description, #webdeveloper-page-magnifier-toolbar description, #webdeveloper-page-validation-toolbar description, #webdeveloper-ruler-toolbar description
+{
+    margin-bottom: 0 !important;
+    margin-top: 0 !important;
+}
+
+#webdeveloper-line-guides-toolbar spacer, #webdeveloper-page-magnifier-toolbar spacer, #webdeveloper-page-validation-toolbar spacer, #webdeveloper-ruler-toolbar spacer
+{
+    width: 2em !important;
+}
+
+#webdeveloper-line-guides-toolbar spacer.small, #webdeveloper-page-magnifier-toolbar spacer.small, #webdeveloper-page-validation-toolbar spacer.small, #webdeveloper-ruler-toolbar spacer.small
+{
+    width: 1em !important;
+}
+
+#webdeveloper-page-magnifier
+{
+    display: block !important;
+}
+
+#webdeveloper-page-magnifier-container
+{
+    border: 1px solid #ff0000 !important;
+    cursor: crosshair !important;
+    position: fixed !important;
+}
+
+/* Dashboard */
+
+#webdeveloper-dashboard
+{
+    -moz-appearance: dialog !important;
+}
+
+#webdeveloper-dashboard-splitter
+{
+    background-color: ThreeDFace !important;
+    border: 1px solid ThreeDDarkShadow !important;
+}
+
+#webdeveloper-dashboard-tab-box, #webdeveloper-dashboard-tab-panels
+{
+    margin: 0 !important;
+    padding: 0 !important;
+}
+
+#webdeveloper-dashboard-tabs
+{
+    display: block !important;
+}
+
+#webdeveloper-dashboard-tabs > tab
+{
+    display: inline !important;
+}