diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-04 08:14:35 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-04 08:14:35 +0000 |
| commit | bd4f1b4bb8fb20b0752677c52f28ff951205d513 (patch) | |
| tree | 5c4e2dde5cf0e6bc79f1943e4826516a5ac874dd /doc/manual/style.css | |
| parent | 96fa456a0ae624a30a3cfded21e91e690056eda2 (diff) | |
* Style tweaks.
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 93ab65c4d..6c8137ee3 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -65,22 +65,21 @@ div.refsection h3 /*************************************************************************** - Program listings: + Examples: ***************************************************************************/ div.example { border: 1px solid #6185a0; padding: 6px 6px; - margin-left: 0em; - margin-right: 0em; + margin-left: 1.5em; + margin-right: 1.5em; background: #f4f4f8; } -pre.programlisting +div.example p.title { - color: #600000; - font-family: monospace; + margin-top: 0em; } @@ -100,6 +99,13 @@ pre.screen, pre.programlisting /* font-size: 90%; */ } +div.example pre.programlisting +{ + border: 0px; + padding: 0 0; + margin: 0 0 0 0; +} + /*************************************************************************** Notes, warnings etc: |