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 | |
| 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.
| -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;  | 
