From 1185aba1fd0727028dc223380c811ec98a42605c Mon Sep 17 00:00:00 2001 From: David Turner Date: Fri, 17 Mar 2017 12:04:04 +0000 Subject: Add highlight for :target to ocean.css --- haddock-api/resources/html/Ocean.std-theme/ocean.css | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'haddock-api/resources') 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 */ -- cgit v1.2.3