diff options
Diffstat (limited to 'src/doc/style.css')
| -rw-r--r-- | src/doc/style.css | 33 |
1 files changed, 30 insertions, 3 deletions
diff --git a/src/doc/style.css b/src/doc/style.css index daabd39..efc669b 100644 --- a/src/doc/style.css +++ b/src/doc/style.css @@ -1,6 +1,33 @@ #titlearea, -address { - display: none; -} +address, +a[href="namespaces.html"] +{ display: none; } h2.groupheader { margin-top: revert; } + +dl { + padding: 4px 12px !important; + border-radius: 8px !important; + border: 0 !important; +} +dt { + margin-bottom: 0.5ex; +} + +a:hover { + text-decoration: revert !important; + background: unset !important; +} + +dl.section.see, +dl.section.user { + padding: 0 !important; + border-radius: 0 !important; + margin-top: 0; +} +dl.section.see dt, +dl.section.user dt { + font-size: 130%; + margin-bottom: 0.5ex; + margin-top: 1.5ex; +} |