From 1185aba1fd0727028dc223380c811ec98a42605c Mon Sep 17 00:00:00 2001
From: David Turner <dave.c.turner@gmail.com>
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/html')

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