diff options
| author | jpmoresmau <jp@moresmau.fr> | 2015-01-20 18:27:16 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-01-22 19:36:59 +0000 |
| commit | 279a662adc83dba2e24bd0b99f7da9d63455f840 (patch) | |
| tree | 2e5361b00bb9fbc5fe226b24fa7c58d93f9ff0e3 /haddock-api/resources/html/Ocean.std-theme | |
| parent | 2c60cb0da855d76c57980298056cefe15ff4c226 (diff) | |
Links to source location of class instance definitions
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 9 |
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; |