diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2012-05-19 22:12:04 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2012-05-19 22:12:04 (GMT) |
commit | 98849cac48159a733a1b3c3ab1466f72a96f216a (patch) | |
tree | 85ab7949aa90065fde286a94d6b1a2d303ef83dd /doc/doxygen_manual.css | |
parent | 55e5055cfbb6f8e013a894c0ec8b10771231e3ba (diff) | |
download | Doxygen-98849cac48159a733a1b3c3ab1466f72a96f216a.zip Doxygen-98849cac48159a733a1b3c3ab1466f72a96f216a.tar.gz Doxygen-98849cac48159a733a1b3c3ab1466f72a96f216a.tar.bz2 |
Fixed minor bug in treeview layout when using @subpage inside @mainpage
Diffstat (limited to 'doc/doxygen_manual.css')
-rw-r--r-- | doc/doxygen_manual.css | 28 |
1 files changed, 24 insertions, 4 deletions
diff --git a/doc/doxygen_manual.css b/doc/doxygen_manual.css index c2b0029..644e4d7 100644 --- a/doc/doxygen_manual.css +++ b/doc/doxygen_manual.css @@ -237,7 +237,7 @@ body { div.contents { margin-bottom: 10px; - padding: 8px; + padding: 12px; margin-left: auto; margin-right: auto; width: 800px; @@ -861,8 +861,8 @@ div.header margin-left: auto; margin-right: auto; width: 800px; - padding-left: 8px; - padding-right: 8px; + padding-left: 12px; + padding-right: 12px; /* firefox specific markup */ -moz-box-shadow: rgba(0, 0, 0, 0.15) 0px 0px 5px; /* webkit specific markup */ @@ -881,42 +881,62 @@ dl dl.section { - border-left:4px solid; padding: 0 0 0 6px; } dl.note { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #D0C000; } dl.warning, dl.attention { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #FF0000; } dl.pre, dl.post, dl.invariant { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #00D000; } dl.deprecated { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #505050; } dl.todo { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #00C0E0; } dl.test { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #3030E0; } dl.bug { + margin-left:-7px; + padding-left: 3px; + border-left:4px solid; border-color: #C08050; } |