|
1 | 1 | @import url('classic.css'); |
2 | 2 |
|
| 3 | +/* Common colours */ |
| 4 | +:root { |
| 5 | + --good-color: rgb(41 100 51); |
| 6 | + --good-border: rgb(79 196 100); |
| 7 | + --middle-color: rgb(133 72 38); |
| 8 | + --middle-border: rgb(244, 227, 76); |
| 9 | + --bad-color: rgb(159 49 51); |
| 10 | + --bad-border: rgb(244, 76, 78); |
| 11 | +} |
| 12 | + |
3 | 13 | /* unset some styles from the classic stylesheet */ |
4 | 14 | div.document, |
5 | 15 | div.body, |
@@ -325,8 +335,8 @@ div.footer a:hover { |
325 | 335 |
|
326 | 336 | /* C API return value annotations */ |
327 | 337 | :root { |
328 | | - --refcount: #060; |
329 | | - --refcount-return-borrowed-ref: rgb(133 72 38); |
| 338 | + --refcount: var(--good-color); |
| 339 | + --refcount-return-borrowed-ref: var(--middle-color); |
330 | 340 | } |
331 | 341 |
|
332 | 342 | .refcount { |
@@ -635,13 +645,13 @@ div.genindex-jumpbox a { |
635 | 645 |
|
636 | 646 | /* Version change directives */ |
637 | 647 | :root { |
638 | | - --versionadded: rgb(41 100 51); |
639 | | - --versionchanged: rgb(133 72 38); |
640 | | - --deprecated: rgb(159 49 51); |
| 648 | + --versionadded: var(--good-color); |
| 649 | + --versionchanged: var(--middle-color); |
| 650 | + --deprecated: var(--bad-color); |
641 | 651 |
|
642 | | - --versionadded-border: rgb(79 196 100); |
643 | | - --versionchanged-border: rgb(244, 227, 76); |
644 | | - --deprecated-border: rgb(244, 76, 78); |
| 652 | + --versionadded-border: var(--good-border); |
| 653 | + --versionchanged-border: var(--middle-border); |
| 654 | + --deprecated-border: var(--bad-border); |
645 | 655 | } |
646 | 656 |
|
647 | 657 | div.versionadded, |
|
0 commit comments