From eabcab74460f8a4badc1bb3a39f01ad295ee9e75 Mon Sep 17 00:00:00 2001
From: Rich Trott <rtrott@gmail.com>
Date: Tue, 8 Sep 2020 15:02:59 -0700
Subject: [PATCH] doc: restore color for visited links

A previous change altered the rendering of visited links. This restores
it.
---
 doc/api_assets/style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css
index b92c45ec0c4025..5abafa6f9905bd 100644
--- a/doc/api_assets/style.css
+++ b/doc/api_assets/style.css
@@ -65,7 +65,8 @@ a.type {
 }
 
 a:link,
-a:active {
+a:active,
+a:visited {
   color: #43853d;
   text-decoration: none;
   border-radius: 2px;