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=0000000000000000000000000000000000000000;hp=5af0118a3abc900b2d47dd62f4238592da8ebfdd;hb=eb7467621891b71883916c90f91bddf4c38d615f;hpb=de6efc861c1f471125cb4d3ab3d0f82572b3d21b

diff --git a/doc/webdeveloper/options/options.css b/doc/webdeveloper/options/options.css
deleted file mode 100644
index 5af0118..0000000
--- a/doc/webdeveloper/options/options.css
+++ /dev/null
@@ -1,44 +0,0 @@
-@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;
-}