1 files changed, 0 insertions, 74 deletions
diff --git a/doc/functional/stylesheets/help.css b/doc/functional/stylesheets/help.css
deleted file mode 100644
index 9e03d7a30..000000000
--- a/doc/functional/stylesheets/help.css
+++ /dev/null
@@ -1,74 +0,0 @@
-#workspace h2 {
-    font-size: 17px;
-}
-
-#workspace h3 {
-    font-size: 15px;
-}
-
-#workspace h4 {
-    font-weight: bold;
-    padding: 7px 0;
-}
-
-#workspace ul li {
-    list-style: circle;
-    margin: 7px 0 7px 20px;
-}
-
-#workspace ul li li {
-    list-style: disc;
-}
-
-
-#workspace ol {
-    list-style: none; 
-    margin: 7px 0 7px 20px;
-    padding: 0;
-    counter-reset: num;
-}
-
-#workspace ol li:before {
-    content: counter(num) '. ';
-    counter-increment: num;
-}
-
-#workspace ol ol li:before {
-    content: counters(num, '.') ' ';
-}
-
-
-#workspace em {
-    font-style: italic;
-}
-
-#workspace strong {
-    font-weight: bold;
-}
-
-#workspace cite {
-  font-style: italic;
-}
-
-#workspace p.attr_data {
-  font-style: italic;
-  text-decoration: underline;
-}
-
-#workspace table {
-    width: 100%;
-}
-
-#workspace table td {
-    padding: 3px 5px;
-    width: 30%;
-}
-
-#workspace dt {
-    font-style:italic;
-    margin: 5px 0; 
-}
-
-#workspace dd {
-    padding-left: 10px;
-}
-\ No newline at end of file