diff options
Diffstat (limited to 'manual.css')
| -rw-r--r-- | manual.css | 8 | 
1 files changed, 8 insertions, 0 deletions
| @@ -9,6 +9,14 @@ p, ul, ol, dl, .example {     margin-bottom : 0.5em;  } +dt { +   margin-bottom : 0; +} + +dd, dd > *:first-child { +   margin-top : 0; +} +  pre, code {     font-family : monospace;  } |