2 files changed, 24 insertions, 0 deletions
diff --git a/libs/parameter b/libs/parameter
-Subproject 1027321a1b750360dd1fa679a2c0427b251ce32
+Subproject 51f44883652d4bb85738e51c2ac38838f39886b
diff --git a/rst.css b/rst.css
index 8db2caaaca..af7517e654 100755
--- a/rst.css
+++ b/rst.css
@@ -226,6 +226,10 @@ pre.literal-block, pre.doctest-block {
   margin-right: 2em ;
   background-color: #eeeeee }
 
+span.class {
+  font-family: monospace;
+}
+
 span.classifier {
   font-family: sans-serif ;
   font-style: oblique }
@@ -234,9 +238,20 @@ span.classifier-delimiter {
   font-family: sans-serif ;
   font-weight: bold }
 
+span.doublesize {
+  font-size: 200%
+}
+
 span.interpreted {
   font-family: sans-serif }
 
+span.concept {
+  font-family: sans-serif }
+
+span.function {
+  font-family: monospace;
+}
+
 span.option {
   white-space: nowrap }
 
@@ -249,6 +264,15 @@ span.pre {
 span.problematic {
   color: red }
 
+/* Firefox, at least, seems to need some help lowering
+   subscripts. Without the following, subscripts seem not to drop
+   at all when in a preformatted block.  -- DWA
+*/
+
+sub {
+  vertical-align: -20%
+}
+
 table {
   margin-top: 0.5em ;
   margin-bottom: 0.5em }