diff options
| author | Simon Hengel <sol@typeful.net> | 2012-01-12 11:54:37 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2012-02-04 00:50:04 +0100 |
| commit | d327e3dfea1dda473c065b0e6a7da2161c9e6668 (patch) | |
| tree | 644c8ba2ba8829547971419004571c430b6da5a2 /html/Ocean.std-theme | |
| parent | 7829173d5c619f93edb5075d66e2ed15c4cc73c6 (diff) | |
Add DocWarning to Doc
The Xhtml backend has special markup for that, Hoogle and LaTeX reuse
what we have for DocEmphasis.
Diffstat (limited to 'html/Ocean.std-theme')
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css index e0ba8b0c..42238709 100644 --- a/html/Ocean.std-theme/ocean.css +++ b/html/Ocean.std-theme/ocean.css @@ -429,6 +429,10 @@ div#style-menu-holder { padding-left: 2em; } +.warning { + color: red; +} + .arguments { margin-top: -0.4em; } |