diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 29af691bc9cf3dbfce82e0e0ca05eae935fc9b47..9d2c644f1e1c6e935fecb4ed24ad030c3ac517fa 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 */