diff options
author | simonmar <unknown> | 2002-04-05 16:32:19 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-04-05 16:32:19 +0000 |
commit | 9acd3a4d58d3e91ba0d74612b9574231ccfd98f4 (patch) | |
tree | 5eda0ddec442bc09374d1f4b880ee69269128a19 /html | |
parent | 972805252bba410dcc6f7093d1a8a357cab502d4 (diff) |
[haddock @ 2002-04-05 16:32:19 by simonmar]
Add width property to the title, and add TD.children for the module
contents page.
Diffstat (limited to 'html')
-rw-r--r-- | html/haddock.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index fba340c3..59b98030 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -11,6 +11,7 @@ TD.topbar { TD.title { color: #ffffff; padding-left: 10px; + width: 100% } TD.topbut { @@ -38,6 +39,10 @@ TD.modulebar { padding: 5 } +TD.children { + padding-left: 25px; + } + TD.synopsis { padding: 2px; background-color: #f0f0f0; |