diff options
| author | David Turner <dave.c.turner@gmail.com> | 2017-03-17 12:04:04 +0000 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-04-03 14:58:01 +0200 |
| commit | 1185aba1fd0727028dc223380c811ec98a42605c (patch) | |
| tree | ba334ef8e0a87ccfaa93cc029d9d55f236fbb586 /haddock-api/resources/html | |
| parent | 18ed871afb82560d5433b2f53e31b4db9353a74e (diff) | |
Add highlight for :target to ocean.css
Diffstat (limited to 'haddock-api/resources/html')
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 4 |
1 files changed, 4 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 29af691b..9d2c644f 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -614,4 +614,8 @@ div#style-menu-holder { float: right; } +:target { + background-color: #ffff00; +} + /* @end */ |