1 files changed, 7 insertions, 0 deletions

diff --git a/documentation/profile-manual/profile-manual-style.css b/documentation/profile-manual/profile-manual-style.css
index b60ea1c82c..f3cca8536d 100644
--- a/documentation/profile-manual/profile-manual-style.css
+++ b/documentation/profile-manual/profile-manual-style.css
@@ -313,6 +313,13 @@ a:hover {
   /*font-weight: bold;*/
 }
 
+/* This style defines how the permalink character
+   appears by itself and when hovered over with
+   the mouse. */
+
+[alt='Permalink'] { color: #eee; }
+[alt='Permalink']:hover { color: black; }
+
 
 div.informalfigure,
 div.informalexample,