1 files changed, 7 insertions, 0 deletions

diff --git a/documentation/adt-manual/adt-style.css b/documentation/adt-manual/adt-style.css
index 58dd70e367..d722ad4b7f 100644
--- a/documentation/adt-manual/adt-style.css
+++ b/documentation/adt-manual/adt-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,