diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/xhaddock.css | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/html/xhaddock.css b/html/xhaddock.css index e0a4922a..731eee8a 100644 --- a/html/xhaddock.css +++ b/html/xhaddock.css @@ -296,29 +296,11 @@ p.arg span { float: none; } -p.inst-header { - font-weight: bold; - margin-bottom: 0; -} -p.inst-header img { +img.coll { width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em } -ul.int { - margin-top: 1em; - margin-bottom: 1em; -} -ul.inst li { - background-color: #f0f0f0; - font-family: monospace; - vertical-align: top; - margin-top: 1px; - margin-bottom: 1px; - padding: 2px; - margin-left: 20px; - list-style-type: none; -} td.arg { padding: 3px; |