1 files changed, 38 insertions, 0 deletions
diff --git a/doc/functional/stylesheets/help.css b/doc/functional/stylesheets/help.css
new file mode 100644
index 000000000..437b28347
--- /dev/null
+++ b/doc/functional/stylesheets/help.css
@@ -0,0 +1,38 @@
+#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 em {
+    font-style: italic;
+}
+
+#workspace table {
+    width: 100%;
+}
+
+#workspace table td {
+    padding: 3px 5px;
+    width: 30%;
+}
+
+#workspace dt {
+    margin: 5px 0; 
+}
+
+#workspace dd {
+    padding-left: 10px;
+}
+\ No newline at end of file