diff options
| -rw-r--r-- | docs/manual/style/css/manual.css | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/docs/manual/style/css/manual.css b/docs/manual/style/css/manual.css index 68505c1e63..556360cea9 100644 --- a/docs/manual/style/css/manual.css +++ b/docs/manual/style/css/manual.css @@ -927,12 +927,17 @@ table div.warning { margin-right: 1em; } -div.outofdate { - background-color: #ffffe0; +div.outofdate, +div.retired{ + background-color: #ffffc0; color: #036; padding: 0.5em; margin: 1em 2em 1em 1em; } +div.retired{ + border: solid 1px #ff0000; + margin-left: 3em; +} /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ * quotations, indented paragraphs, forms and figures |