From 0be73f0e24f231291487f9829bbb8e6b7a095c7f Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Wed, 27 Jul 2005 19:28:30 +0000
Subject: [PATCH] Change the way stylesheets are handled

[SVN r30266]
---
 libs/parameter |  2 +-
 rst.css        | 24 ++++++++++++++++++++++++
 2 files changed, 25 insertions(+), 1 deletion(-)

diff --git a/libs/parameter b/libs/parameter
index 1027321a1b..51f4488365 160000
--- a/libs/parameter
+++ b/libs/parameter
@@ -1 +1 @@
-Subproject commit 1027321a1b750360dd1fa679a2c0427b251ce32d
+Subproject commit 51f44883652d4bb85738e51c2ac38838f39886be
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 }