diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/xhaddock.css | 22 |
1 files changed, 9 insertions, 13 deletions
diff --git a/html/xhaddock.css b/html/xhaddock.css index d5e86c61..768e16a6 100644 --- a/html/xhaddock.css +++ b/html/xhaddock.css @@ -170,27 +170,23 @@ dl.info dd { margin-bottom: 2em; } -#synopsis p.src { - padding: 0; +#synopsis ul { + margin: 0; + padding-top: 0; + padding-left: 20px; + list-style-type: none; } + #synopsis li { - background-color: #f0f0f0; - font-family: monospace; - vertical-align: top; margin-top: 8px; margin-bottom: 8px; padding: 3px; - list-style-type: none; -} - -#synopsis ul { - margin: 0; - padding-top: 0; } -#synopsis li ul li { - margin: 3px; +#synopsis li li { padding: 0; + margin-top: 0; + margin-bottom: 0; } |