diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-10 20:54:21 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-10 20:54:21 +0000 |
| commit | 82d771f6e66e3f8a7101574d9c606553b490fe71 (patch) | |
| tree | b4d0089b92452e210eb5067b855a964ceafba0d3 /doc/manual/style.css | |
| parent | c9c58dba55fc9e46375bb67fdc9e2b55ef3805ff (diff) | |
* Manual updates.
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 533104229..bf6fc3ecf 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -102,6 +102,8 @@ pre.screen .note,.warning { + margin-top: 1em; + margin-bottom: 1em; border: 1px solid #6185a0; padding: 0px 1em; background: #fffff5; |