diff options
Diffstat (limited to 'src/doxygen.css')
-rw-r--r-- | src/doxygen.css | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/doxygen.css b/src/doxygen.css index 39053f8..3a07205 100644 --- a/src/doxygen.css +++ b/src/doxygen.css @@ -683,4 +683,44 @@ div.headertitle { padding: 5px 5px 5px 10px; } +dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug +{ + border-left:4px solid; + padding: 0 0 0 6px; +} + +dl.note +{ + border-color: #D0D000; +} + +dl.warning, dl.attention +{ + border-color: #FF0000; +} + +dl.pre, dl.post, dl.invariant +{ + border-color: #00D000; +} + +dl.deprecated +{ + border-color: #505050; +} + +dl.todo +{ + border-color: #00C0E0; +} + +dl.test +{ + border-color: #3030E0; +} + +dl.bug +{ + border-color: #C08050; +} |