diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-22 14:11:25 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-22 14:11:25 -0700 |
| commit | 4eb765ca4205c79539d60b7afa9b7e261a4a49fe (patch) | |
| tree | ce88e522d33dd0592359c7b5ae67aba34f6193da /haddock-api/resources | |
| parent | 07b88c5d4e79b87a319fbb08f8ea01dbb41063c1 (diff) | |
Render help documentation link next to (signature) in title.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'haddock-api/resources')
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 3ebb14de..f816aeca 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -88,6 +88,11 @@ pre, code, kbd, samp, tt, .src { font-size: 182%; /* 24pt */ } +#module-header .caption sup { + font-size: 70%; + font-weight: normal; +} + .info { font-size: 85%; /* 11pt */ } |