git-svn-id: svn://euphorik.ch/pompage@47 02bbb61a-6d21-0410-aba0-cb053bdfd66a

[pompage.git] / doc / webdeveloper / webdeveloper.css

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