diff options
| -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;  | 
