diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-13 15:08:35 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-13 15:08:35 +0000 |
| commit | 2b20701f7895101c8ef8c989fccf702081615120 (patch) | |
| tree | 090d43679fa4d00c3c9113f860d4514c5433a3e4 /doc/manual/style.css | |
| parent | 13172427806ad41fb3896c2e3ced1cf9672bb081 (diff) | |
* Better introduction.
* Set notes in a different color than warnings.
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index a9b6fd2c6..893e7db3f 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -112,10 +112,16 @@ div.note,div.warning font-style: italic; } -div.note h3,div.warning h3 +div.warning h3 { color: red; - text-decoration: underline; + font-size: 100%; +} + +div.note h3 +{ + color: blue; + font-size: 100%; } div.navfooter * |