diff options
Diffstat (limited to 'rst.css')
-rwxr-xr-x | rst.css | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -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; +} + |