diff options
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 a9b6fd2c67fc..893e7db3f1df 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 * |