1 files changed, 39 insertions, 0 deletions
diff --git a/documentation/ref-manual/ref-style.css b/documentation/ref-manual/ref-style.css
index a54083fc8a..ef0654f01c 100644
--- a/documentation/ref-manual/ref-style.css
+++ b/documentation/ref-manual/ref-style.css
@@ -193,6 +193,8 @@ h3.author {
   padding: 0em 0em 0em 0em;
 }
 
+/* Use this set when you decide to get the images in for variables.
+
 div.glossary dl,
 div.variablelist dl {
 }
@@ -225,6 +227,43 @@ div.variablelist dl {
 .glossdeffirst {
   text-indent: -70px;
 }
+*/
+
+/* Start of non-image set */
+
+div.glossary dl,
+div.variablelist dl {
+}
+
+.glossary dl dt,
+.variablelist dl dt,
+.variablelist dl dt span.term {
+  font-weight: normal;
+  width: 20em;
+  text-align: right;
+}
+
+.variablelist dl dt {
+  margin-top: 0.5em;
+}
+
+.glossary dl dd,
+.variablelist dl dd {
+  margin-top: 0em;
+  margin-left: 25.5em;
+}
+
+.glossary dd p,
+.variablelist dd p {
+  margin-top: -1.3em;
+  margin-bottom: 1em;
+}
+
+.glossdeffirst {
+  text-indent: 0px;
+}
+
+/* End of non-image set */
 
 div.calloutlist table td {
   padding: 0em 0em 0em 0em;