2 files changed, 9 insertions, 2 deletions
diff --git a/libs/parameter b/libs/parameter
-Subproject 51f44883652d4bb85738e51c2ac38838f39886b
+Subproject 5ba1995697da4583f87e0c18960104be1bff7b3
diff --git a/rst.css b/rst.css
index af7517e654..84fa1fa903 100755
--- a/rst.css
+++ b/rst.css
@@ -95,6 +95,10 @@ div.system-message p.system-message-title {
 div.topic {
   margin: 2em }
 
+dt {
+  font-weight: bold
+}
+
 H1.title
 {
     FONT-SIZE: 200%;
@@ -127,12 +131,10 @@ PRE
 }
 CODE
 {
-    FONT-FAMILY: Courier;
     white-space: pre;
 }
 .pre
 {
-    FONT-FAMILY: Courier;
     white-space: pre;
 }
 .index
@@ -313,3 +315,8 @@ img.boost-logo {
   border: none;
   vertical-align: middle
 }
+
+pre.literal-block span.concept {
+  font-style: italic;
+}
+