|
|
@@ -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;
|
|
|
+}
|
|
|
+
|