diff options
| -rw-r--r-- | doc/style.css | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/doc/style.css b/doc/style.css index 149bfbcc..37f579b4 100644 --- a/doc/style.css +++ b/doc/style.css @@ -340,7 +340,6 @@ table.memberdecls { font-size: 80%; color: #4665A2; font-weight: 400; - margin-left: 3px; } .memnav { @@ -354,30 +353,24 @@ table.memberdecls { .memitem { padding: 0; - margin-bottom: 10px; + margin: 1ex 1ex 2ex 1ex; } .memname { white-space: nowrap; font-weight: 700; - margin-left: 6px; } .memproto { border-top: 1px solid #A8B8D9; - border-left: 1px solid #A8B8D9; - border-right: 1px solid #A8B8D9; - padding: 6px 0; + padding: 0.5ex; color: #253555; font-weight: 700; background-color: #F3F3F3; } .memdoc { - border-bottom: 1px solid #A8A8A8; - border-left: 1px solid #A8A8A8; - border-right: 1px solid #A8A8A8; - padding: 2px 5px; + padding: 1ex; background-color: #FBFBFB; border-top-width: 0; } |