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

diff --git a/doc/webdeveloper/options/options.css b/doc/webdeveloper/options/options.css
new file mode 100644
index 0000000..5af0118
--- /dev/null
+++ b/doc/webdeveloper/options/options.css
@@ -0,0 +1,44 @@
+@import url("chrome://global/skin/");
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
+
+hbox > label
+{
+    margin-left: 0 !important;
+}
+
+#webdeveloper-options-dialog
+{
+    height: 40em !important;
+    width: 60em !important;
+}
+
+#webdeveloper-options-page-list
+{
+    width: 11em !important;
+}
+
+#webdeveloper-options-page-list listitem
+{
+    padding: 0.25em !important;
+}
+
+spacer.large-spacer
+{
+    width: 20px !important;
+}
+
+spacer.small-spacer
+{
+    width: 10px !important;
+}
+
+.indent
+{
+    margin-left: 25px !important;
+}
+
+.scroll
+{
+    height: 25em !important;
+	overflow: auto !important;
+}