diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/Classic.theme/xhaddock.css | 6 | ||||
| -rw-r--r-- | html/Ocean.std-theme/ocean.css | 4 | 
2 files changed, 7 insertions, 3 deletions
| diff --git a/html/Classic.theme/xhaddock.css b/html/Classic.theme/xhaddock.css index d6b58d22..40ea0d06 100644 --- a/html/Classic.theme/xhaddock.css +++ b/html/Classic.theme/xhaddock.css @@ -488,6 +488,6 @@ td.rdoc p {  	background: inherit;  } - - - +.warning { +  color: red; +} 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;  } | 
