aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html
diff options
context:
space:
mode:
authorEdward Z. Yang <ezyang@cs.stanford.edu>2017-03-22 14:11:25 -0700
committerEdward Z. Yang <ezyang@cs.stanford.edu>2017-03-22 14:11:25 -0700
commit4eb765ca4205c79539d60b7afa9b7e261a4a49fe (patch)
treece88e522d33dd0592359c7b5ae67aba34f6193da /haddock-api/resources/html
parent07b88c5d4e79b87a319fbb08f8ea01dbb41063c1 (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/html')
-rw-r--r--haddock-api/resources/html/Ocean.std-theme/ocean.css5
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 */
}