1 files changed, 0 insertions, 74 deletions
diff --git a/docs/doctool/Help/examples.css b/docs/doctool/Help/examples.css
deleted file mode 100644
index df6692f4..00000000
--- a/docs/doctool/Help/examples.css
+++ /dev/null
@@ -1,74 +0,0 @@
-@import URL(example/Default.css);
-
-
-body {
-    margin: 25px;
-    }
-
-.NDContent {
-    color #000000; background-color: #FFFFFF;
-    padding: 15px 0;
-    border-style: solid;
-    border-width: 1px 3px 3px 1px;
-    border-color: #c0c0c0 #808080 #808080 #c0c0c0;
-    margin: 1em 5ex;
-    -moz-border-radius: 12px;
-    }
-
-    .NDContent p,
-    .NDContent li,
-    .NDContent td,
-    .NDMenu td,
-    .NDSummary td,
-    .NDIndex td {
-        font-size: 10pt;
-        line-height: normal;
-        }
-    .NDContent .CTopic {
-        padding-bottom: 0;
-        }
-    .Prototype td {
-        font: 10pt Courier New, monospace;
-        }
-    .NDIndex .IHeading {
-        font-size: 16pt;
-        }
-
-
-.NDMenu {
-    font: 9pt Verdana, Arial, sans-serif;
-    color: #000000; background-color: #E8E8E8;
-    width: 27ex;
-    padding: 10px 0;
-    border-style: solid;
-    border-width: 1px 3px 3px 1px;
-    border-color: #808080 #606060 #606060 #808080;
-    margin: 1em 0 1em 5ex;
-    -moz-border-radius: 12px;
-    }
-
-
-.NDSummary {
-    padding: 15px;
-    border-style: solid;
-    border-width: 1px 3px 3px 1px;
-    border-color: #c0c0c0 #808080 #808080 #c0c0c0;
-    margin: 1em 5ex;
-    -moz-border-radius: 12px;
-    }
-
-    .NDSummary .Summary {
-        margin-top: 0;
-        }
-
-
-.NDIndex {
-    color #000000; background-color: #FFFFFF;
-    padding: 15px;
-    border-style: solid;
-    border-width: 1px 3px 3px 1px;
-    border-color: #c0c0c0 #808080 #808080 #c0c0c0;
-    margin: 1em 5ex;
-    -moz-border-radius: 12px;
-    }
-