diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/haddock.css | 26 | 
1 files changed, 17 insertions, 9 deletions
diff --git a/html/haddock.css b/html/haddock.css index 76188a5b..65180b61 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -1,6 +1,7 @@  BODY {     background-color: #ffffff; -  color: #000000 +  color: #000000; +  font-family: sans-serif;    }   TD.topbar { @@ -19,7 +20,8 @@ TD.topbut {    padding-right: 5px;    border-left-width: 1px;    border-left-color: #ffffff; -  border-left-style: solid +  border-left-style: solid; +  white-space: nowrap;    }  TD.topbut A:link {    color: #ffffff @@ -52,7 +54,9 @@ TD.synopsis {  TD.decl {     padding: 2px;    background-color: #f0f0f0;  -  font-family: monospace +  font-family: monospace; +  white-space: nowrap; +  vertical-align: top;    }  TD.condecl  { padding-left: 10px } @@ -60,11 +64,19 @@ TD.recfield { padding-left: 20px }  TD.doc  {     padding-top: 2px; -  font-family: sans-serif;      padding-left: 10px    } -TD.cbody  {  +TD.ndoc  {  +  padding: 2px; +  } + +TD.rdoc  {  +  padding: 2px; +  padding-left: 10px; +  } + +TD.body  {     padding-left: 10px    } @@ -90,27 +102,23 @@ TD.botbar A:hover {  TD.section1 {    padding-top: 15px; -  font-family: sans-serif;    font-weight: bold;    font-size: 150%    }  TD.section2 {    padding-top: 10px; -  font-family: sans-serif;    font-weight: bold;    font-size: 130%    }  TD.section3 {    padding-top: 5px; -  font-family: sans-serif;    font-weight: bold;    font-size: 110%    }  TD.section4 { -  font-family: sans-serif;    font-weight: bold;    font-size: 100%    }  | 
