aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources
diff options
context:
space:
mode:
authorjpmoresmau <jp@moresmau.fr>2015-01-20 18:27:16 +0100
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2015-01-22 19:36:59 +0000
commit279a662adc83dba2e24bd0b99f7da9d63455f840 (patch)
tree2e5361b00bb9fbc5fe226b24fa7c58d93f9ff0e3 /haddock-api/resources
parent2c60cb0da855d76c57980298056cefe15ff4c226 (diff)
Links to source location of class instance definitions
Diffstat (limited to 'haddock-api/resources')
-rw-r--r--haddock-api/resources/html/Ocean.std-theme/ocean.css9
1 files changed, 9 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 de436324..f762e832 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -378,6 +378,15 @@ div#style-menu-holder {
margin: 0 -0.5em 0 0.5em;
}
+#interface td.src .link {
+ float: right;
+ color: #919191;
+ border-left: 1px solid #919191;
+ background: #f0f0f0;
+ padding: 0 0.5em 0.2em;
+ margin: 0 -0.5em 0 0.5em;
+}
+
#interface span.fixity {
color: #919191;
border-left: 1px solid #919191;