diff options
author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-22 14:11:25 -0700 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-23 17:20:08 -0400 |
commit | 0567d936e02dcbc41c62b4dd63c7aaafc3383844 (patch) | |
tree | 1b5995f4488b6c28c8cf8ce2f837e132dcb12738 /haddock-api/resources/html | |
parent | ef93eaac9bc0ca40073763d2e18ced3a51679ead (diff) |
Render help documentation link next to (signature) in title.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
(cherry picked from commit 4eb765ca4205c79539d60b7afa9b7e261a4a49fe)
Diffstat (limited to 'haddock-api/resources/html')
-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 e8e4d705..29af691b 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 */ } |